Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Leveraging Applications of Formal Methods, Verification and Validation.

Ø 0.0

0 Bewertungen

59,02 €

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.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783031753893
UPC:

9783031753893
ISBN:

9783031753893
Format:

Paperback, 210 pages, 2024 Edition
Author:

Tiziana Margaria (Edited by)
Book Title:

Leveraging Applications of Formal Methods, Verific
Item Height:

1.2 cm
Item Length:

23.4 cm
Item Weight:

0.32 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer International Publishing AG

Economy Shipping from outside:

SpeedPAK Economy 1,73 EUR - Lieferung zwischen 31. January 2025 und 03. March 2025 (bei heutigem Zahlungseingang)
Versand nach:

Australien, Deutschland, Frankreich, Neuseeland, Italien, USA, Kanada, Irland, Belgien, Polen, Portugal, Niederlande, Schweiz
Versand ausgeschlossen:

Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Afghanistan , Armenien , Indien , Russische Föderation , Amerikanisch-Samoa , ... und weitere

Leveraging Applications of Formal Methods, Verification and Validation.