Formal specification notation 9th par bowen jonathan (6 résultats)
- Couverture souple
Vendeur : George Cross Books, Lexington, MA, Etats-UnisGeorge Cross Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : IOBA
Etat: Occasion
EUR 46,84
EUR 3,43 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Reprint edition. Very Good/Wraps (34594) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 967 This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 caref…ully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used formal method both in industry and application, the volume is of high relevance for the whole formal methods community. 571.
- Couverture souple
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 78,02
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped w…ith delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Couverture souple
- Édition originale
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 82,14
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,41
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 114,36
EUR 64,45 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, o…bject orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used 'formal method' both in industry and application, the volume is of high relevance for the whole formal methods community.
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 223,48
EUR 29,16 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
