Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)

ISBN 10: 3031753798 ISBN 13: 9783031753794

Verlag: Springer, 2024

Sprache: Englisch

Gebraucht Zustand: Very Good Softcover

F�r sp�ter vormerken

Verk�ufer Books From California, Simi Valley, CA, USA

Verk�uferbewertung 4 von 5 Sternen

AbeBooks-Verk�ufer seit 14. August 2001

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Preis: EUR 53,72 W�hrung umrechnen

EUR 12,73 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Bestandsnummer des Verk�ufers mon0003670311

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Leveraging Applications of Formal Methods, ...

Verlag: Springer

Erscheinungsdatum: 2024

Einband: paperback

Zustand: Very Good

�ber diesen Titel

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Schwabe Books, Inc. DBA Books From California
51 W. Easy St., Simi Valley, CA, 93065, U.S.A.

Gesch�ftsbedingungen:

Refunds Offered Within 10 days of order.

Greg Schwabe
Books From California
51 W. Easy St
Simi Valley, CA. 93065

Fax # 805-582-9513
For questions, please email at
abesales@booksfromca.com

Versandinformationen:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)

Gebraucht - Softcover

Unternehmensdaten des Verk�ufers