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 :-(

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria

Bernhard Steffen

Sprache

Englisch

Buch Broschur

Libristo-Code: 20319260

Verlag Springer Nature Switzerland AG, Oktober 2018

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the... Vollständige Beschreibung

Libristo-Code: 20319260

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Dialog Beruf 3 3 CDs. Hörtetexte Dr. Jörg Braunert

Audio

70.69 €

Zur Stammes- und Sagengeschichte der Friesen und Chauken Karl Volckmar

Broschur

19.90 €

Historisch onderzoek naar de invoering van PLC's in plattelandsscholen Essie Lom

Broschur

48.09 €

Kuchařka pro dceru Jana Florentýna Zatloukalová

Hardcover

15.29 €

GESTION DE ARCHIVOS ADGD0308 ACTIVIDADES GESTION ADMIN VILCHEZ BELTRAN

Broschur

21.39 €

quattordicesima lettera Claire Evans

Broschur

12.19 €

Social Workplace Learning John Erpenbeck

Broschur

14.99 €

Ca y est, je sais ! Français 4e Françoise Lemau

Broschur

6.29 €

26 ITALIAN SONGS AND ARIAS (MEDIUM/HIGH VOICE) (BOOK/CD) +CD PATON Buch

binding.

32.39 €

Bestie burdenské 2 - Sousedská hlídka Evan Dorkin

Hardcover

19.69 €

Deutsche Volks-Lieder Aus Karnten V2: Lieder Vermischten Inhaltes (1869) Valentin Pogatschnigg

Broschur

24.39 €

Le Conservateur, Ou Recueil de Morceaux Inedits d'Histoire, de Politique, de Litterature Tome 1 Francois De Neufchateau-N

Broschur

26.59 €

Stachliger Glaube Jörg Berger

Broschur

15.00 €

Láska je osamělá hra Esther Tusquets

Hardcover

7.79 €

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

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 Leveraging Applications of Formal Methods, Verification and Validation. Verification

Autor Tiziana Margaria, Bernhard Steffen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 496

EAN 9783030034207

ISBN 3030034208

Libristo-Code 20319260

Verlag Springer Nature Switzerland AG

Gewicht 777

Abmessungen 155 x 235 x 30

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

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