- 5 Results
Lowest price: € 56.99, highest price: € 119.61, average price: € 79.71
1
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7¿10, 2022, Proceedings - Rosemary Monahan
Order
at AbeBooks.de
€ 79.44
Shipment: € 0.001
Order
Provider details
Sponsored link
Rosemary Monahan:

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7¿10, 2022, Proceedings - Paperback

2022, ISBN: 3031077261

[EAN: 9783031077265], Neubuch, [PU: Springer International Publishing], ARCHITECTUREVERIFICATIONANDVALIDATION; ARTIFICIALINTELLIGENCE; COMPUTERPROGRAMMING; COMPUTERSYSTEMS; EMBEDDEDSYSTEM… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
2
Integrated Formal Methods (Paperback) - Maurice H. ter Beek
Order
at AbeBooks.de
€ 119.61
Shipment: € 34.091
Order
Provider details
Sponsored link

Maurice H. ter Beek:

Integrated Formal Methods (Paperback) - First edition

2022, ISBN: 3031077261

Paperback

[EAN: 9783031077265], Neubuch, [PU: Springer International Publishing AG, Cham], Paperback. This book constitutes the refereed proceedings of the 17th International Conference on Integrat… More...

NEW BOOK. Shipping costs: EUR 34.09 AussieBookSeller, Truganina, VIC, Australia [52402892] [Rating: 5 (von 5)]
close (x)
3
Integrated Formal Methods | 17th International Conference, IFM 2022, Lugano, Switzerland, June 7¿10, 2022, Proceedings | Rosemary Monahan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | XV - Monahan, Rosemary
Order
at booklooker.de
€ 71.90
Shipment: € 0.001
Order
Provider details
Sponsored link
Monahan, Rosemary:
Integrated Formal Methods | 17th International Conference, IFM 2022, Lugano, Switzerland, June 7¿10, 2022, Proceedings | Rosemary Monahan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | XV - Paperback

2022

ISBN: 9783031077265

[ED: Taschenbuch], [PU: Springer International Publishing], This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, hel… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
close (x)
4
Integrated Formal Methods - Herausgegeben:ter Beek, Maurice H.; Monahan, Rosemary
Order
at booklooker.de
€ 56.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Herausgegeben:ter Beek, Maurice H.; Monahan, Rosemary:
Integrated Formal Methods - Paperback

2022, ISBN: 9783031077265

[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 17th International Conference on Integrated F… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
close (x)
5
Integrated Formal Methods - Maurice H. ter Beek; Rosemary Monahan
Order
at lehmanns.de
€ 70.61
Shipment: € 0.001
Order
Provider details
Sponsored link
Maurice H. ter Beek; Rosemary Monahan:
Integrated Formal Methods - Paperback

2022, ISBN: 9783031077265

17th International Conference, IFM 2022, Lugano, Switzerland, June 7?10, 2022, Proceedings, Buch, Softcover, 1st ed. 2022, [PU: Springer International Publishing], Springer International … More...

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Integrated Formal Methods
Author:
Title:
ISBN:

9783031077265

Details of the book - Integrated Formal Methods


EAN (ISBN-13): 9783031077265
ISBN (ISBN-10): 3031077261
Paperback
Publishing year: 2022
Publisher: Springer International Publishing

Book in our database since 2022-09-27T04:53:15-04:00 (New York)
Detail page last modified on 2023-09-17T16:44:47-04:00 (New York)
ISBN/EAN: 9783031077265

ISBN - alternate spelling:
3-031-07726-1, 978-3-031-07726-5
Alternate spelling and related search-keywords:
Book author: ter
Book title: lugano

Information from Publisher

Author: Maurice H. ter Beek; Rosemary Monahan
Title: Lecture Notes in Computer Science; Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
Publisher: Springer; Springer International Publishing
373 Pages
Publishing year: 2022-06-01
Cham; CH
Printed / Made in
Language: English
80,24 € (DE)
82,49 € (AT)
88,50 CHF (CH)
POD
XV, 373 p. 120 illus., 48 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; architecture verification and validation; artificial intelligence; computer programming; computer systems; embedded systems; engineering; formal languages; formal logic; formal methods; graph theory; model checking; programming languages; signal processing; software architecture; software design; software engineering; software quality; theoretical computer science; verification and validation; Software Engineering; Computer Engineering and Networks; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Computerhardware; Theoretische Informatik; Künstliche Intelligenz; EA

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.

The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings:  Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.


< to archive...