ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Sprache: Englisch

Verlag: Springer-Verlag, 1995

3540602712 / 9783540602712

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: George Cross Books, Lexington, MA, USAGeorge Cross Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Juni 2003

Verbandsmitglied: IOBA

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht

EUR 47,96

EUR 3,51 Versand 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

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 carefully 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.

Bestandsnummer des Verkäufers 34594

Titel
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Autor
Bowen, Jonathan P.; Hinchey, Michael G. (Eds.)
Verlag
Springer-Verlag
Veröffentlichungsjahr
1995
Einband
Paperback
Sprache
Englisch
ISBN-10
3540602712
ISBN-13
9783540602712
Ausgabe
Reprint edition

George Cross Books

Lexington, MA, USA

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Juni 2003

Verbandsmitglied:

Versandkosten innerhalb von USA

Artikel5 bis 14 Werktage3 bis 6 Werktage
Erster ArtikelEUR 3,51EUR 8,79
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bar
  • PayPal
  • Rechnung
  • Vorauskasse
  • Zahlungsanweisung

Shop-Beschreibung

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Spezialisierung

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Verbandsmitglied

  • Independent Online Booksellers Association
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

George Cross Books

MA, USA