Verwandte Artikel zu Formal Specification: Techniques and Applications
Inhaltsangabe
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 9,94
EUR 4,56 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 44,40
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Specification: Techniques and Applications
Beispielbild für diese ISBN
Formal Specification: Techniques and Applications
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Artikel-Nr. Z1-T-016-02011
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Specification: Techniques and Applications
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9781852330026. Artikel-Nr. 9079288
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification: Techniques and Applications
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9781852330026. Artikel-Nr. 9079287
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification : Techniques and Applications
Verlag:
Springer London, Limited, 1999
ISBN 10: 1852330023
ISBN 13: 9781852330026
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 52435260-6
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Specification: Techniques and Applications.
Anbieter: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. 316 p. In very good condition. ISBN: 9781852330026 Sprache: Englisch Gewicht in Gramm: 477 15,6 x 1,8 x 23,0 cm, softcover. Artikel-Nr. 59302
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification - Techniques And Applications
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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-85765
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Specification
Verlag:
Springer London, Springer London Jul 1999, 1999
ISBN 10: 1852330023
ISBN 13: 9781852330026
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to 'demystify' them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch. Artikel-Nr. 9781852330026
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Specification : Techniques and Applications
Verlag:
Springer London, Springer London, 1999
ISBN 10: 1852330023
ISBN 13: 9781852330026
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to 'demystify' them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic. Artikel-Nr. 9781852330026
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification: Techniques and Applications
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9781852330026_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Specification: Techniques and Applications
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 315 pages. 9.50x6.50x0.75 inches. In Stock. Artikel-Nr. x-1852330023
Anzahl: 2 verfügbar