An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with industry-strength tool support and examples derived from commercial applications. This updated second edition includes advanced online tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
"This is an excellent first course in modeling, and is so well organized that even individual study is practical. The book was enjoyable to read, and well written. Points of complexity were explained well, and the wealth of examples provides a roadmap to understanding for both the student and practitioner."
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.
Versand:
EUR 5,71
Von Vereinigtes Königreich nach USA
Versand:
Gratis
Innerhalb der USA
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers GOR007264372
Anzahl: 2 verfügbar
Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Zustand: Used - Very Good. 2009. 2nd Edition. Hardcover. Very Good. Bestandsnummer des Verkäufers DD0042075
Anzahl: 1 verfügbar
Anbieter: AMM Books, Gillingham, KENT, Vereinigtes Königreich
Hardcover. Zustand: Very Good. Unread. In stock ready to dispatch from the UK. Bestandsnummer des Verkäufers mon0000218772
Anzahl: 18 verfügbar
Anbieter: Bestsellersuk, Hereford, Vereinigtes Königreich
Hardcover. Zustand: Good. Bumped and scratched cover. Book is warped. No.1 BESTSELLERS - great prices, friendly customer service â" all orders are dispatched next working day. Bestandsnummer des Verkäufers mon0000698402
Anzahl: 1 verfügbar
Anbieter: Tall Stories BA, Stoneyford, Irland
Hardcover. Zustand: Very Good. Second. as new unused. Bestandsnummer des Verkäufers 71611
Anzahl: 1 verfügbar
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.41. Bestandsnummer des Verkäufers 0521899117-2-3
Anzahl: 1 verfügbar
Anbieter: Book Deals, Tucson, AZ, USA
Zustand: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 1.41. Bestandsnummer des Verkäufers 353-0521899117-lkn
Anzahl: 1 verfügbar
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 1.41. Bestandsnummer des Verkäufers 0521899117-2-4
Anzahl: 1 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. Bestandsnummer des Verkäufers ABTR-233359
Anzahl: 2 verfügbar
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-108565
Anzahl: 1 verfügbar