Biblioteksøk

Vis søkeskjema

Søkte etter:

6 treff

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29- September 2, 2000 : proceedings

International Conference of B and Z Users
Bok Engelsk 2000

High-integrity system specification and design

Jonathon P. Bowen and Michael G. Hinchey ...
Bok Engelsk 1999

Industrial strength formal methods in practice

Michael G. Hinchey and Jonathan P. Bowen,...
Bok Engelsk 1999

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

International Conference of Z Users
Bok Engelsk 1997

Formal specification and documentation using Z : a case study approach

Bowen, Jonathan P.
Bok Engelsk 1996

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

International Conference of Z Users
Bok Engelsk 1995

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål