Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Executable Software Models Marco Bernardo
Libristo-Code: 02667827
Verlag Springer International Publishing AG, Mai 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Vollständige Beschreibung
? points 141 b
58.52 €
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Buch Broschur
common.buy 72.49 €
Top
Tie vytúžené slová / Buch Broschur
common.buy 17.31 €
Colores 1 Eria Krisztina Nagy Seres / Buch Broschur
common.buy 13.66 €
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Buch Hardcover
common.buy 16.19 €
Auge und die optische Abbildung Wiebke Gelder / Buch Broschur
common.buy 16.19 €
CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / E-Book Adobe ePub DRM
common.buy 42.72 €
Две жизни. Часть II Конкордия Антарова / Buch Broschur
common.buy 8.90 €
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Buch Broschur
common.buy 114.72 €
Trahison Que Tu Alimentes Tracy Lorraine / Buch Broschur
common.buy 16.70 €
Faber-Castell Buntstift Jumbo Grip 16er Metalletui Spiel/Spielzeug Spielzeug
common.buy 33.41 €
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Buch Broschur
common.buy 32.70 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Buch Broschur
common.buy 14.37 €
Plain Principles Of Prose Composition (1893) William Minto / Buch Broschur
common.buy 23.28 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Buch Hardcover
common.buy 47.99 €
Etica e hermeneutica Everton Nery Carneiro / Buch Broschur
common.buy 50.92 €
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Buch Broschur
common.buy 15.18 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Buch Broschur
common.buy 27.03 €

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 343
EAN 9783319073163
ISBN 3319073168
Libristo-Code 02667827
Verlag Springer International Publishing AG
Gewicht 5329
Abmessungen 155 x 235 x 20

Kategorie

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

Digital Media Rimon Elias / Buch Broschur
common.buy 58.52 €
Go on a Critter Scavenger Hunt Emily Kington / Buch Hardcover
common.buy 26.62 €
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Buch Broschur
common.buy 49.30 €
Law of Contracts, Volume 3 Theophilus Parsons / Buch Hardcover
common.buy 48.09 €
Top
Macbeth Jo Nesbo / Buch Broschur
common.buy 8.60 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Buch Hardcover
common.buy 228.34 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Buch Broschur
common.buy 19.43 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Buch Hardcover
common.buy 114.62 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Buch Broschur
common.buy 10.82 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Buch Broschur
common.buy 41.20 €
Top
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Buch Broschur
common.buy 11.84 €
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Buch Broschur
common.buy 44.65 €
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / E-Book Adobe ePub DRM
common.buy 7.69 €
How Great Cities Happen John Stanley / Buch Hardcover
common.buy 164.54 €
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Buch Hardcover
common.buy 181.05 €
Magritte CHAMBERS NICHOLAS / Buch Hardcover
common.buy 60.65 €
Feathers of Color Lionel Douglass / Buch Hardcover
common.buy 23.89 €
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Buch Broschur
common.buy 114.72 €
Emerging Trends in International Law on Secession Jelena Pifat / Buch Broschur
common.buy 111.88 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Buch Hardcover
common.buy 161.91 €
Foundation Core GCSE Maths 1-3 Michael White / Buch Broschur
common.buy 12.85 €
Black Mountains Ordnance Survey / Drucksachen Karte
common.buy 18.12 €
King Arthur Trilogy Rosemary Sutcliff / Buch Broschur
common.buy 16.09 €
My Education William Seward Burroughs / Buch Broschur
common.buy 11.84 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?