Verwandte Artikel zu Software Specification Methods: An Overview Using a...
Inhaltsangabe
THIS TITLE PROVIDES A CLEAR OVERVIEW OF THE MAIN METHODS, AND HAS A PRACTICAL FOCUS THAT ALLOWS THE READER TO APPLY THEIR KNOWLEDGE TO REAL–LIFE SITUATIONS. THE FOLLOWING ARE JUST SOME OF THE TECHNIQUES COVERED: UML, Z, TLA+, SAZ, B, OMT, VHDL, ESTELLE, SDL AND LOTOS.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Biografía del autor
Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagHermes Science Publishing
- Erscheinungsdatum2006
- ISBN 10 1905209347
- ISBN 13 9781905209347
- EinbandTapa dura
- Anzahl der Seiten418
Gebraucht kaufen
Zustand: BefriedigendItem in good condition. Textbooks... Mehr zu diesem Angebot erfahren
EUR 10,55
Versand:
Gratis
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Software Specification Methods
Anbieter: SecondSale, Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Bestandsnummer des Verkäufers 00026570887
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Software Specification Methods
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-551-377
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Software Specification Methods
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-577-852
Anzahl: 1 verfügbar