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 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Software Engineering and Formal Methods Radu Calinescu
Libristo-Code: 09480142
Verlag Springer International Publishing AG, August 2015
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Vollständige Beschreibung
? points 125 b
51.65 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz / Buch Broschur
common.buy 14.14 €
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Spiel/Spielzeug Puzzle
common.buy 5.04 €
Ambicion Del Ave Fenix Oscar de Benito / Buch Broschur
common.buy 19.10 €
CONTRA LA CULTURA LABRUCE / Buch Buch
common.buy 23.14 €
Saison Anneline Dintilhac / Buch Broschur
common.buy 16.47 €
Zanoni Lytton / Buch Broschur
common.buy 27.79 €
Inselhupfen in Griechenland Gabriele Lackner / Buch Broschur
common.buy 15.36 €
Buonanotte! Benji Davies / Buch Hardcover
common.buy 16.67 €
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Buch Broschur
common.buy 13.33 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

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 Software Engineering and Formal Methods
Autor Radu Calinescu, Bernhard Rumpe
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 369
EAN 9783319229683
ISBN 3319229680
Libristo-Code 09480142
Verlag Springer International Publishing AG
Gewicht 5796
Abmessungen 155 x 235 x 23

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

Elements of Brakigraphy John Thomas Porter / Buch Broschur
common.buy 11.72 €
Top
Bourbon & Proof WILDER VICTORIA / Buch Broschur
common.buy 16.97 €
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Hörbuch MP3
common.buy 13.54 €
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Buch Broschur
common.buy 5.04 €
Top
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Buch Broschur
common.buy 20.21 €
Priestly Ministry and the People of God Richard Lennan / Buch Broschur
common.buy 24.56 €
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Buch Broschur
common.buy 26.68 €
Timid Devney Perry / Buch Broschur
common.buy 19.30 €
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Buch Broschur
common.buy 43.36 €
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Buch Broschur
common.buy 15.56 €
Headhunters Mark Dawson / Buch Broschur
common.buy 17.48 €
Top
The Satanic Rituals Anton Szandor Lavey / Buch Broschur
common.buy 8.99 €
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Buch Hardcover
common.buy 184.79 €
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Buch Hardcover
common.buy 75.31 €
Walking and Trekking on Corfu Gillian Price / Buch Broschur
common.buy 19.10 €
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Buch Broschur
common.buy 27.49 €
Disruptive Behavior Disorders Frank M. Gresham / Buch Broschur
common.buy 44.47 €
Boomeritis Ken Wilber / Buch Broschur
common.buy 29.91 €

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?