Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Name: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Brand: Springer, Berlin
SKU: 39439127
Price: 53.79 EUR
Availability: InStock
Author: Antonio Cerone
ISBN: 9783031124280

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Sprache

Englisch

Buch Broschur

Libristo-Code: 39439127

Verlag Springer, Berlin, November 2021

This volume constitutes revised selected papers from the four workshops collocated with the 19th Int... Vollständige Beschreibung

Libristo-Code: 39439127

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le cahier d'Alban - Petits carreaux, 96p, A5 - Espace

Terminbuch

11.19 €

Erste Kontakte zwischen Rom und Karthago - Der 1. karthagisch-roemische Vertrag Nadine Bliedtner

Broschur

17.95 €

AUGE Y REINADO DE LOS MAMIFEROS BRUSATTE

Buch

21.89 €

Kak vsyo ustroeno Elena Kachur

Adobe ePub DRM

4.49 €

Papel funcional de los proteoglicanos en el cáncer de próstata Mirzohid Mirzaolimov

Broschur

56.79 €

Leon XIV. Papież na ratunek Kościołowi Dominik Dubiel

Broschur

8.29 €

ДХЛ. Котенок Ластик и Муха Муховна Юрий Коваль

Broschur

19.19 €

Guide Typhlo & Tactus de l'album tactile illustré Claudet

Broschur

31.99 €

Une rose aux pétales d'illusion Antigny

Broschur

17.69 €

Horrible Stories My Dad Told Me David Downie

Broschur

15.39 €

Vom Wind und den Bäumen oder Gewichtige Kleinigkeiten Gilbert Keith Chesterton

Hardcover

26.80 €

Poesía completa (1869-1888) Friedrich Nietzsche

Broschur

21.09 €

Música en vivo C, ESO. Guía Didáctica Pascual Mejía

Broschur

69.39 €

La Receta Secreta de la Abuela Magdalena Gaston Hauviller

Hardcover

24.39 €

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event was held virtually.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Autor Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2022

Anzahl der Seiten 350

EAN 9783031124280

Libristo-Code 39439127

Verlag Springer, Berlin

Gewicht 552

Abmessungen 155 x 235 x 20

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert