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.
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.
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0521899117I3N10
Anzahl: 1 verfügbar
Anbieter: Labyrinth Books, Princeton, NJ, USA
Zustand: Very Good. Artikel-Nr. 121012
Anzahl: 2 verfügbar
Anbieter: AMM Books, Gillingham, KENT, Vereinigtes Königreich
Hardcover. Zustand: Very Good. Unread. In stock ready to dispatch from the UK. Artikel-Nr. mon0000218772
Anzahl: 17 verfügbar
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-94457
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-98822
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: Used. pp. 280 25 Figures. Artikel-Nr. 8357984
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock. Artikel-Nr. __0521899117
Anzahl: 1 verfügbar