Verwandte Artikel zu Leveraging Applications of Formal Methods, Verification...

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... V: 15223 (Lecture Notes in Computer Science) - Softcover

 
9783031753893: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... V: 15223 (Lecture Notes in Computer Science)

Inhaltsangabe

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2024
  • ISBN 10 3031753895
  • ISBN 13 9783031753893
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten224
  • HerausgeberMargaria Tiziana, Steffen Bernhard
  • Kontakt zum HerstellerNicht verfügbar

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Leveraging Applications of Formal Methods, Verification...

Foto des Verkäufers

Verlag: Springer Verlag GmbH, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bestandsnummer des Verkäufers 1853461554

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Bernhard Steffen
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification,construction, test, and maintenance of systems from the point of view of their different application domains. Bestandsnummer des Verkäufers 9783031753893

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Tiziana Margaria
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification,construction, test, and maintenance of systems from the point of view of their different application domains. 210 pp. Englisch. Bestandsnummer des Verkäufers 9783031753893

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Bernhard Steffen
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. Bestandsnummer des Verkäufers 9783031753893

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Tiziana Margaria
Verlag: Springer, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu PAP

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers S0-9783031753893

Verkäufer kontaktieren

Neu kaufen

EUR 60,15
Währung umrechnen
Versand: EUR 4,58
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
Verlag: Springer, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Paperback
Print-on-Demand

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 222 pages. 6.14x0.47x9.21 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3031753895

Verkäufer kontaktieren

Neu kaufen

EUR 54,73
Währung umrechnen
Versand: EUR 11,81
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783031753893_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,81
Währung umrechnen
Versand: EUR 5,88
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783031753893

Verkäufer kontaktieren

Neu kaufen

EUR 61,24
Währung umrechnen
Versand: EUR 8,74
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18403310357

Verkäufer kontaktieren

Neu kaufen

EUR 84,72
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753895 ISBN 13: 9783031753893
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. 2024th edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26403310367

Verkäufer kontaktieren

Neu kaufen

EUR 80,74
Währung umrechnen
Versand: EUR 7,87
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Es gibt 5 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen