Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Name: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Brand: Springer, Berlin
SKU: 42663768
Price: 113.01 EUR
Availability: InStock
Author: Paolo Masci
ISBN: 9783031262357

AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Language

English

Book Paperback

Libristo code: 42663768

Publishers Springer, Berlin, November 2022

This volume constitutes the revised selected papers from the four workshops collocated with the 20th... Full description

Libristo code: 42663768

274 b

113.01 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Unreal Engine 4 per tutti Andrea Coppola

Paperback

31.67 €

Как приручить дракона. Книга 4. Как перехитрить дракона Крессида Коуэлл

Hardback

20.07 €

Четыре всадника раздора Татьяна Полякова

Hardback

12.30 €

Hudební adventní kalendář + Pexeso Veronika Mlčáková

Paperback

7.15 €

Dcera zimy Vladimíra Šebová

Paperback

10.79 €

Stabilität vs. Variabilität. Der Einfluss der Varianz von Selbstwert und Handlungsspielraum auf das Wohlbefinden Jasper Staben

Paperback

25.02 €

Petite Histoire d'Amour Lexy Timms

Adobe ePub DRM

1.91 €

DAS ULTIMATIVE XAVIER NAIDOO MEDLEY CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MARKUS SCHENK Book

binding.

214.01 €

ARMORED CORE VI FIRES OF RUBICON - Die offiziellen Artworks Lasse Christian Christiansen

Hardback

35.61 €

Escape Game - Im Sagenwald von Brocéliande Margot Briquet

Paperback

12.60 €

Unsagbar Anne Roth

Hardback

19.06 €

Portugalia Adamczak Sławomir

Paperback

9.17 €

Ueber die Roemerstrassen am rechten Ufer des Nieder-Rheins Carl von Mueffling

Paperback

13.21 €

Abdel Alberto Luis Aranguren

Paperback

14.42 €

Entspannt ausreiten Sandra Gockenbach

Hardback

24.21 €

Trapillo tejido a ganchillo y a punto : 20 proyectos paso a paso ALEXANDRE CALLIER-TAYLOR

Paperback

15.73 €

Menschwerdung Mareile Lasogga

Paperback

125.62 €

Histoire de France Sous Napoleon Tome 9 Sans Auteur

Paperback

30.67 €

de la Mainmorte Au Moyen Age, de la Possibilite Pour Le Mainmortable Ou Serf de Quitter Bertin-J

Paperback

14.32 €

Vielfalt braucht Struktur Dieter Katzenbach

Paperback

16.24 €

Tore, Milo & Lars - Gespenster auf Burg Ehrenberg Marco Banholzer

Paperback

9.07 €

Methoden Der Wirtschafts- Und Sozialwissenschaften Jürgen Kromphardt

Paperback

52.97 €

Sanssouci und Friedrich der Grosse Alfred Weise

Paperback

15.23 €

Dilemma des Arbeitskraftemangels wahrend des Zweiten Weltkriegs Lars Wegner

Paperback

17.04 €

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.