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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, ... 15221 (Lecture Notes in Computer Science) - Softcover

 
9783031753794: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, ... 15221 (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.

Gebraucht kaufen

Zustand: Gut
Diesen Artikel anzeigen

EUR 4,28 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

EUR 2,27 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

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

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753798 ISBN 13: 9783031753794
Gebraucht paperback

Anbieter: Books From California, Simi Valley, CA, USA

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

paperback. Zustand: Very Good. Bestandsnummer des Verkäufers mon0003670311

Verkäufer kontaktieren

Gebraucht kaufen

EUR 61,77
Währung umrechnen
Versand: EUR 4,28
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unknown, Unknown
ISBN 10: 3031753798 ISBN 13: 9783031753794
Neu

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: New. Bestandsnummer des Verkäufers 49236526-n

Verkäufer kontaktieren

Neu kaufen

EUR 76,07
Währung umrechnen
Versand: EUR 2,27
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Tiziana Margaria
ISBN 10: 3031753798 ISBN 13: 9783031753794
Neu Paperback

Anbieter: Grand Eagle Retail, Bensenville, IL, USA

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

Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783031753794

Verkäufer kontaktieren

Neu kaufen

EUR 78,41
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753798 ISBN 13: 9783031753794
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-9783031753794

Verkäufer kontaktieren

Neu kaufen

EUR 85,79
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unknown, Unknown
ISBN 10: 3031753798 ISBN 13: 9783031753794
Gebraucht

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 49236526

Verkäufer kontaktieren

Gebraucht kaufen

EUR 85,69
Währung umrechnen
Versand: EUR 2,27
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Tiziana Margaria
ISBN 10: 3031753798 ISBN 13: 9783031753794
Neu PAP

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

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

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

Verkäufer kontaktieren

Neu kaufen

EUR 88,51
Währung umrechnen
Versand: EUR 5,78
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2024
ISBN 10: 3031753798 ISBN 13: 9783031753794
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 ria9783031753794_new

Verkäufer kontaktieren

Neu kaufen

EUR 81,95
Währung umrechnen
Versand: EUR 13,79
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unknown, Unknown
ISBN 10: 3031753798 ISBN 13: 9783031753794
Neu

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

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

Zustand: New. Bestandsnummer des Verkäufers 49236526-n

Verkäufer kontaktieren

Neu kaufen

EUR 81,46
Währung umrechnen
Versand: EUR 17,26
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Bernhard Steffen
ISBN 10: 3031753798 ISBN 13: 9783031753794
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. 420 pp. Englisch. Bestandsnummer des Verkäufers 9783031753794

Verkäufer kontaktieren

Neu kaufen

EUR 79,17
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Unknown, Unknown
ISBN 10: 3031753798 ISBN 13: 9783031753794
Gebraucht

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

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

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 49236526

Verkäufer kontaktieren

Gebraucht kaufen

EUR 86,43
Währung umrechnen
Versand: EUR 17,26
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Es gibt 13 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen