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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 117.99 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

289 b

117.99 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Unreal Engine 4 per tutti Andrea Coppola

Paperback

32.89 €

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

Paperback

8.19 €

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

Hardback

40.00 €

Portugalia Adamczak Sławomir

Paperback

9.69 €

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

Hardback

12.89 €

Unsagbar Anne Roth

Hardback

22.00 €

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

Hardback

19.19 €

Dcera zimy Vladimíra Šebová

Paperback

11.39 €

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

Paperback

27.95 €

Petite Histoire d'Amour Lexy Timms

Adobe ePub DRM

1.89 €

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

binding.

221.59 €

Escape Game - Im Sagenwald von Brocéliande Margot Briquet

Paperback

14.90 €

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

Paperback

13.89 €

Abdel Alberto Luis Aranguren

Paperback

14.99 €

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

Paperback

16.29 €

Menschwerdung Mareile Lasogga

Paperback

131.09 €

Histoire de France Sous Napoleon Tome 9 Sans Auteur

Paperback

31.79 €

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

Paperback

14.99 €

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

Paperback

10.00 €

Sanssouci und Friedrich der Grosse Alfred Weise

Paperback

16.90 €

Dilemma des Arbeitskraftemangels wahrend des Zweiten Weltkriegs Lars Wegner

Paperback

18.95 €

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.