Practical Formal Methods with Vdm (McGraw Hill International Series in Software Engineering) - Softcover
Inhaltsangabe
This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Practical Formal Methods with Vdm (McGraw Hill International...
Beispielbild für diese ISBN
Practical Formal Methods with Vdm (McGraw Hill International Series in Software Engineering)
Verlag:
McGraw-Hill Publishing Co. 01/12/1990, 1990
ISBN 10: 0077072146
ISBN 13: 9780077072148
Gebraucht
Paperback
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Artikel-Nr. 6545-9780077072148
Gebraucht kaufen
EUR 10,08
Versand:
EUR 7,92
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Practical Formal Methods with VDM
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 50161871-20
Gebraucht kaufen
EUR 10,35
Versand:
EUR 9,08
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Practical Formal Methods with Vdm (McGraw Hill International Series in Software Engineering)
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Practical Formal Methods with Vdm (McGraw Hill International Series in Software Engineering) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Artikel-Nr. 7719-9780077072148
Gebraucht kaufen
EUR 24,74
Versand:
EUR 5,67
Von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar