Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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: 485.23 PLN
Availability: InStock
Author: Paolo Masci
ISBN: 9783031262357

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

Język

Angielski

Książka Miękka

Kod Libristo: 42663768

Wydawnictwo Springer, Berlin, listopad 2022

This volume constitutes the revised selected papers from the four workshops collocated with the 20th... Cały opis

Kod Libristo: 42663768

274 b

485.23 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Unreal Engine 4 per tutti Andrea Coppola

Miękka

136.04 zł

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

Miękka

31.64 zł

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

Twarda

153.18 zł

Portugalia Adamczak Sławomir

Miękka

29.21 zł

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

Twarda

52.74 zł

Unsagbar Anne Roth

Twarda

81.76 zł

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

Twarda

78.62 zł

Dcera zimy Vladimíra Šebová

Miękka

46.56 zł

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

Miękka

107.33 zł

Petite Histoire d'Amour Lexy Timms

Adobe ePub DRM

8.00 zł

DAS ULTIMATIVE XAVIER NAIDOO MEDLEY CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MARKUS SCHENK Książka

binding.

920.46 zł

Escape Game - Im Sagenwald von Brocéliande Margot Briquet

Miękka

54.37 zł

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

Miękka

57.01 zł

Abdel Alberto Luis Aranguren

Miękka

61.98 zł

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

Miękka

67.46 zł

Menschwerdung Mareile Lasogga

Miękka

539.71 zł

Histoire de France Sous Napoleon Tome 9 Sans Auteur

Miękka

119.20 zł

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

Miękka

55.08 zł

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

Miękka

39.15 zł

Sanssouci und Friedrich der Grosse Alfred Weise

Miękka

65.32 zł

Dilemma des Arbeitskraftemangels wahrend des Zweiten Weltkriegs Lars Wegner

Miękka

73.34 zł

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.