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

Bücher auf Englisch > Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik > Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Tiziana Margaria

Bernhard Steffen

Sprache

Englisch

Buch Broschur

Libristo-Code: 14208642

Verlag Springer International Publishing AG, Oktober 2016

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... Vollständige Beschreibung

Libristo-Code: 14208642

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Las mayusculas y las minusculas en la lengua espanola Alicia Maria Zorrilla

Adobe ePub DRM

20.29 €

La pandilla de los 11 ROCIO BONILLA

Hardcover

15.29 €

Meine aktive Landeskunde. Krajoznawstwo i kultura niemieckiego obszaru językowego Ewa Maria Rostek

Broschur

9.79 €

L'Entrée du Christ dans la langue française Millet Buch

Broschur

20.29 €

Jednorožci - Perlové malování

Broschur

7.89 €

The Words In Your Snare 2 Chepali

Broschur

16.00 €

Camino de Espinas Antonio Lima

Broschur

24.39 €

Der Architekt als Generalist Walter R. Auer

Hardcover

74.00 €

Exercices Gradues de Plain-Chant Specialement Ecrits Pour Les Enfants Chausse-J B

Broschur

13.89 €

Nuits A Paris, Notes Sur Une Ville DARZENS-R

Broschur

20.59 €

La llamada de Cthulhu: Incluye los relatos "La historia del Necronomicón" y "Azathoth" H P Lovecraft

Broschur

6.39 €

Budismo esencial JUAN ARNAU

Broschur

10.99 €

Evaluación de queratoplásticos utilizados en cirugía abdominal Nadiana Edith Lopez Condado

Broschur

43.49 €

Fontaine de Vaucluse Et Ses Souvenirs SAINT-MARTIN-J

Broschur

18.69 €

Idols and Museum Pieces Caroline van Eck

Hardcover

50.49 €

Hidroterapia Sebastien Hinoult

Broschur

11.29 €

Un Misterio En Italia Santa Montefiore

Broschur

6.29 €

Ben Kaybolmam - Duygularim ve Davranislarim Bengi Semerci

Broschur

8.99 €

Vom Linksliberalismus zur Sozialdemokratie Detlef Lehnert

Hardcover

65.99 €

Fremdsprachendidaktik und Inklusionsp dagogik. Herausforderungen im Kontext von Migration und Mehrsprachigkeit Claudia Schlaak

Broschur

24.90 €

L. N. Tolstoj "Der Tod des Ivan Il'ic". Bedeutung und Gestaltung des Sterbe- und Erkenntnisprozesses Hannes Blank

Broschur

15.95 €

Kreuz Und Quer Durch Deutsche Lande Robert Mezger

Broschur

36.90 €

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

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: Discussion, Dissemination, Applications

Autor Tiziana Margaria, Bernhard Steffen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 866

EAN 9783319471686

ISBN 3319471686

Libristo-Code 14208642

Verlag Springer International Publishing AG

Gewicht 1323

Abmessungen 155 x 235 x 49

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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