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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Kazuhiro Ogata
Libristo-Code: 14277723
Verlag Springer International Publishing AG, Oktober 2016
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engine... Vollständige Beschreibung
? points 111 b
45.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Das Buch der vergessenen Geschichten Martina Meier (Hrsg.) / Buch Broschur
common.buy 19.99 €
Cybersécurité : le kit de survie Renouf / Buch Broschur
common.buy 12.79 €
Explorez votre thème astral Nathalie Ros / Buch Broschur
common.buy 11.39 €
Caliente ! Delannoy / Buch Broschur
common.buy 26.59 €
Histoire Du Roi de Rome: Duc de Reichstadt, Coup d'Oeil Sur La Revolution, Consulat Et l'Empire Chopin-J-M / Buch Broschur
common.buy 18.09 €
El farallón Sabas Martín / Buch Broschur
common.buy 14.79 €
Junge Muslime im deutschen Strafvollzug Thorsten Beermann / Buch Broschur
common.buy 44.99 €

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software reliability.

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 and Software Engineering
Autor Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 486
EAN 9783319478456
ISBN 3319478451
Libristo-Code 14277723
Verlag Springer International Publishing AG
Gewicht 381
Abmessungen 150 x 210 x 22

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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

Dante's Inferno (New Revelations) Luke Kirby / Buch Broschur
common.buy 10.69 €
Tales of Mother Dupe Kuku / Buch Broschur
common.buy 20.09 €
Phase Microscopy; Principles and Applications Alva Herschel Bennett / Buch Hardcover
common.buy 39.89 €
ROBERT KIRKMANS THE WALKING DEAD RETURN Jay Bonansinga / Buch Broschur
common.buy 13.89 €
The Quire a Biographical Sketch George William / Buch Broschur
common.buy 18.69 €
Notes on the Birds of Damara Land John Henry Gurney / Buch Broschur
common.buy 24.09 €
A Very English Scandal John Preston / Buch Broschur
common.buy 11.09 €
Effects of nonionizing electromagnetic waves of intermediate frequency Vijay Kumar / Buch Broschur
common.buy 27.99 €
A PLEA FOR A NEW TRANSLATION OF THE SCRI ALFRED DEWES / Buch Hardcover
common.buy 25.89 €
OUTCOMES PRE-INTERM SPLIT A+SPARK 3E Andrew Walkley|Hugh Dellar / Buch Buch
common.buy 25.89 €
Cattleya and Catopsis, The Lost Kitten David Wood / Buch Broschur
common.buy 13.09 €
Emerson and Literary Change David Porter / Buch Hardcover
common.buy 42.29 €
Object Lessons Anna Quindlen / Buch Broschur
common.buy 13.39 €
System of Clinical Medicine Robert James Graves / Buch Hardcover
common.buy 42.69 €
Furniture Makes the Room Barbara Blair / Buch Hardcover
common.buy 18.69 €
New Horizons in Neurovascular Coupling: A Bridge Between Brain Circulation and Neural Plasticity Kazuto Masamoto / Buch Hardcover
common.buy 255.59 €
Holidays Evans / Buch Broschur
common.buy 9.69 €
Classical Groups and K-Theory Alexander J. Hahn / Buch Hardcover
common.buy 136.09 €
Greek and Roman Calendars Robert Hannah / Buch Broschur
common.buy 42.89 €
Management of Nitrogen and Phosphorus Fertilizers in Sub-Saharan Africa Uzo M. Mokwunye / Buch Hardcover
common.buy 136.09 €

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