Abstract State Machines, Alloy, B, VDM, and Z

Sprache: Englisch

Verlag: Springer, Springer Spektrum Jun 2012, 2012

3642308848 / 9783642308840

Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, DeutschlandRheinberg-Buch Andreas Meier eK

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. November 2008

Softcover

Zustand: Neu

EUR 53,49

EUR 23,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems. 396 pp. Englisch.…

Bestandsnummer des Verkäufers 9783642308840

Titel
Abstract State Machines, Alloy, B, VDM, and Z
Autor
John Derrick
Verlag
Springer, Springer Spektrum Jun 2012
Erscheinungsjahr
2012
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3642308848
ISBN-13
9783642308840
Artikelgewicht
598 Gramm
Abmessungen
235x155x22 mm

Rheinberg-Buch Andreas Meier eK

Bergisch Gladbach, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. November 2008

Versandkosten von Deutschland nach USA

Artikel5 bis 15 Werktage2 bis 4 Werktage
Erster ArtikelEUR 23,00EUR 35,99
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
  • Banküberweisung
  • PayPal

Shopbeschreibung

Online Buchhandel

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Rheinberg-Buch Andreas Meier eK

Deutschland

Rheinberg-Buch Inh. Andreas Meier e.K.
Inhaber: Andreas Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland

Tel.: +4922049671181
Fax: +4922049671189
E-Mail: info@rheinberg-buch.de

Registergericht: Amtsgericht Köln
Registernummer: HRA 26456

Umsatzsteuer-Identifikationsnummer: DE122062682

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.