Modelling Systems 2nd Edition Hardback: Practical Tools and Techniques in Software Development - Hardcover

Fitzgerald; Larsen

 
9780521899116: Modelling Systems 2nd Edition Hardback: Practical Tools and Techniques in Software Development

Inhaltsangabe

Updated introduction to software modelling using VDM. Includes advanced online tool support and up-to-date reports on real commercial applications.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.

Peter Gorm Larsen is a Professor of Computer Technology and Embedded Systems at the Engineering College of Aarhus (IHA), Denmark. He also works as an independent consultant.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels