Formal software development from VDM to Java /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Charatan, Quentin
Coauteur:	ebrary, Inc
Andere auteurs:	Kans, Aaron
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Basingstoke : Palgrave Macmillan, 2004.
Onderwerpen:	Computer software > Development. Formal methods (Computer science) Electronic books.
Online toegang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Formal software development from VDM to Java / door Charatan, Quentin

Gepubliceerd in 2004.

An electronic book accessible through the World Wide Web; click to view

Elektronisch E-boek