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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 38394255
Price: 85.89 EUR
Availability: InStock
Author: Radu Calinescu
ISBN: 9783030921231

Radu Calinescu

Sprache

Englisch

Buch Broschur

Libristo-Code: 38394255

Verlag Springer Nature Switzerland AG, Dezember 2021

This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Vollständige Beschreibung

Libristo-Code: 38394255

210 b

85.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Alpenbahnen Berthold Steinhilber

Hardcover

49.99 €

Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva Richard H. Thaler

Broschur

23.49 €

Os escribo a vosotros, jóvenes Giraudo

Broschur

5.99 €

Intelligence des limites (L') Tort

Broschur

31.99 €

LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA Tallet

Broschur

30.79 €

Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865) Francesco Crispi

Broschur

21.99 €

Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784) Johann Kaspar Riesbeck

Broschur

37.69 €

Principales parasitosis entero-hepáticas de los rumiantes domésticos José Manuel Martínez Pérez

Broschur

37.29 €

Długopis Cristal Original czarny display 50 sztuk Buch

binding.

25.69 €

The Crown. Season.1, 4 DVDs, 4 DVD-Video Pia Di Ciaula

DVD

18.49 €

Maruja Mallo : caracola con alas Luisa Antolín Villota

Hardcover

20.29 €

Die Psalmen II. Psalm 51 - 100 Frank-Lothar Hossfeld

Broschur

24.50 €

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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 Radu Calinescu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2021

Anzahl der Seiten 522

EAN 9783030921231

ISBN 3030921239

Libristo-Code 38394255

Verlag Springer Nature Switzerland AG

Gewicht 819

Abmessungen 155 x 235 x 29

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

Das könnte Sie auch interessieren

T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero

Broschur

21.29 €

Basket of Deplorables Dennis Carstens

Hardcover

22.39 €

Three Lancashire Documents of the Fourteenth and Fifteenth Centuries: Comprising I. the Great de Lacy Inquisition, Feb.16, 1311. II. the Survey of 132 John Harland

Broschur

18.69 €