Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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.24 EUR
Availability: InStock
Author: Paolo Masci
ISBN: 9783031262357

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 42663768

Nakladateľstvo Springer, Berlin, november 2022

This volume constitutes the revised selected papers from the four workshops collocated with the 20th... Celý popis

Libristo kód: 42663768

274 b

113.24 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Unreal Engine 4 per tutti Andrea Coppola

Brožovaná

30.22 €

Dcera zimy Vladimíra Šebová

Brožovaná

10.20 €

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

Pevná

18.29 €

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

Pevná

12.33 €

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

Brožovaná

6.06 €

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

Pevná

35.68 €

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

binding.

214.66 €

Escape Game - Im Sagenwald von Brocéliande Margot Briquet

Brožovaná

15.76 €

Unsagbar Anne Roth

Pevná

19.10 €

Portugalia Adamczak Sławomir

Brožovaná

9.19 €

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

Brožovaná

25.07 €

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

Brožovaná

13.24 €

Abdel Alberto Luis Aranguren

Brožovaná

13.74 €

Entspannt ausreiten Sandra Gockenbach

Pevná

24.26 €

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

Brožovaná

15.66 €

Menschwerdung Mareile Lasogga

Brožovaná

125.88 €

Histoire de France Sous Napoleon Tome 9 Sans Auteur

Brožovaná

29.21 €

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

Brožovaná

13.54 €

Vielfalt braucht Struktur Dieter Katzenbach

Brožovaná

16.27 €

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

Brožovaná

9.09 €

Methoden Der Wirtschafts- Und Sozialwissenschaften Jürgen Kromphardt

Brožovaná

53.08 €

Sanssouci und Friedrich der Grosse Alfred Weise

Brožovaná

15.26 €

Dilemma des Arbeitskraftemangels wahrend des Zweiten Weltkriegs Lars Wegner

Brožovaná

17.08 €

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.