Modelling Systems: Practical Tools and Techniques in Software Development

Fitzgerald, John/ Larsen, Peter Gorm

ISBN 10: 0521899117 / ISBN 13: 9780521899116

Verlag: Cambridge University Press, 2009

Beschreibung

2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock. Bestandsnummer des Verkäufers __0521899117

Bibliografische Details

Titel: Modelling Systems: Practical Tools and ...

Verlag: Cambridge University Press

Erscheinungsdatum: 2009

Einband: Hardcover

Zustand: Brand New

Auflage: 2. Auflage

Über diesen Titel

Inhaltsangabe:

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

Ü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.