Treffliste - Woodcock, Jim - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

5 treff

Sortering

Forsidebilde

Using Z : specification, refinement, and proof

Woodcock, Jim
Inngår i serie: Prentice Hall international series in computer science
Bok Engelsk 1996

Forsidebilde

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Pernambuco Summer School on Software Engineering
Inngår i serie: Lecture notes in computer science (3167)
Bok Engelsk c2006

Forsidebilde

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (2885)
Bok Engelsk c2003

Forsidebilde

FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1.

World Congress on Formal Methods in the Development of Computing Systems
Inngår i serie: Lecture notes in computer science (1708)
Bok Engelsk c1999

Forsidebilde

FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2.

World Congress on Formal Methods in the Development of Computing Systems
Inngår i serie: Lecture notes in computer science (1709)
Bok Engelsk c1999

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk