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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Antonio Cerone

Marco Roveri

Sprache

Englisch

Buch Broschur

Libristo-Code: 18737533

Verlag Springer International Publishing AG, Februar 2018

This book constitutes revised selected papers from the five workshops collocated with the 15th Inter... Vollständige Beschreibung

Libristo-Code: 18737533

165 b

67.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Hansel y Gretel: La Novela Grafica Hans Christian Andersen

Broschur

8.49 €

Vivre avec les robots Paul Dumouchel

Broschur

21.29 €

Le droit au soutien de l'investissement dans le sport Sakho

Broschur

17.49 €

Erleuchtung im Augenblick des Todes Engelbert Winkler

Broschur

11.60 €

GRANADA CAPRICHO DE LA NATURALEZA Y DE LA HISTORIA Sánchez Peinado

Buch

7.79 €

Introduction à la topologie de jacques lacan Nasio

Buch

8.49 €

La politique de défense du Japon Delamotte

Broschur

28.39 €

La evolución sin sentido Eudald Carbonell i Roura

Broschur

17.89 €

Baltimore 5: Apoštol a čarodějnice Christopher Golden

Hardcover

15.09 €

Chimie Des Vegetaux Sacc-F

Broschur

17.89 €

Don Quijote y el absoluto : algunos aspectos teológicos de la obra de Cervantes Torres Antoñanzas

Broschur

16.69 €

Il regno periodico. Viaggio nel mondo degli elementi chimici Peter Watkins

Broschur

21.29 €

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium "From Data to Models and Back"; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.

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

Autor Antonio Cerone, Marco Roveri

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 592

EAN 9783319747804

ISBN 3319747800

Libristo-Code 18737533

Verlag Springer International Publishing AG

Gewicht 914

Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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