Toggle Nav
Menu

Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
189 Seiten, Taschenbuch
€ 44,00
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Theoretical Computer Science and General Issues
Themen Informatik und Informationstechnologie Informatik Theoretische Informatik
ISBN 9783319174037
Sprache Englisch
Erscheinungsdatum 27.04.2015
Größe 23.5 x 15.5 cm
Verlag Springer International Publishing
Herausgegeben von Shaoying Liu, Zhenhua Duan
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

Mehr Informationen
Reihe Theoretical Computer Science and General Issues
Themen Informatik und Informationstechnologie Informatik Theoretische Informatik
ISBN 9783319174037
Sprache Englisch
Erscheinungsdatum 27.04.2015
Größe 23.5 x 15.5 cm
Verlag Springer International Publishing
Herausgegeben von Shaoying Liu, Zhenhua Duan
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
GUTSCHEIN
faltershop Gutscheinfaltershop Gutschein
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt