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 Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo-Code: 01661642
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Vollständige Beschreibung
? points 121 b
49.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

SCHIRMER CLASSIC CHORUSES: HORN IN F PETHEL Buch binding.
common.buy 8.49 €
Anne Sylvestre Daniel Pantchenko / Buch Broschur
common.buy 34.99 €
L'espoli fiscal del país valencià Gimeno / Buch Broschur
common.buy 20.79 €
Xogos populares en Pontevedra JOSE LOIS CASAL / Buch Buch
common.buy 18.79 €
Trockenhelden im Gemüsebeet Ortrud Grieb / Buch Broschur
common.buy 20.00 €
Galicia, un mar con historia DUBERT / Buch Broschur
common.buy 26.69 €
Johanniskraut: Das Heilkraut aus der Natur: Wirkung, Dosierung, Herstellung Tanja Eisenberg / Buch Broschur
common.buy 9.39 €
Sieghardus, Der Hauptmann Der Beim Kreuze Stand William Schmidt / Buch Broschur
common.buy 23.89 €
Du Commerce Et de Ses Travaux Publics En Angleterre Et En France, Discours Prononce Le 2 Juin 1823 Dupin-C / Buch Broschur
common.buy 15.09 €
Juicio por jurado, cuestiones teóricas y prácticas : prueba, veredicto, sentencia, recursos Alberto Jorge . . . [et al. ] Barreiro / Buch Broschur
common.buy 28.69 €
Act One/Waters Of Change Beggar's Opera / Audio Audio CD
common.buy 23.99 €
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Buch Broschur
common.buy 19.09 €
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Buch Broschur
common.buy 14.19 €
Architecture Coloniale Portugaise A Goa SANTIAGO FARIA ALICE / Buch Broschur
common.buy 72.59 €
Die Ukraine-Krise ist eine Krise Europas Jerzy Macków / Buch Broschur
common.buy 11.29 €
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Buch Broschur
common.buy 37.29 €
Klimaschutzpolitik zwischen Ökonomie und Ökologie Jessica Hövelborn / Buch Broschur
common.buy 40.49 €
Vom Weg der Liebe Eugen Drewermann / Buch Hardcover
common.buy 24.90 €
Gestus Katharina Weiß / Buch Broschur
common.buy 17.95 €
Herzklopfen auf Französisch Stephanie Perkins / Buch Broschur
common.buy 8.99 €
Fidus Dirk Erkelenz / Buch Broschur
common.buy 24.09 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

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 Verification of Object-Oriented Software
Autor Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 251
EAN 9783642317613
ISBN 3642317618
Libristo-Code 01661642
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 409
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
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

Who Watches the Watchmen? The Conflict Between National Security and Freedom of the Press Gary Ross / Buch Broschur
common.buy 24.49 €
I'm Over All That Shirley MacLaine / Buch Broschur
common.buy 16.29 €
The Child's Guide To Catholic Devotion: Large Print Edition Mel Waller / Buch Broschur
common.buy 12.79 €
Don't Call It Poetry: A Book Of Skrybes Blacklight Empire / Buch Broschur
common.buy 12.29 €
Patience HELENA STONE / Buch Broschur
common.buy 14.19 €
English File: Advanced. Student's Book with iTutor and Online Skills Latham-Koenig Christina; Oxenden Clive / Buch Broschur
common.buy 67.69 €
Mazes Galore! SPEEDY KIDS / Buch Broschur
common.buy 14.29 €
The Relation of Civil Service Reform to Municipal Reform. Carl Schurz / Buch Broschur
common.buy 12.49 €
Feminist Economics and Public Policy Jim Campbell / Buch Hardcover
common.buy 215.89 €
Fast Swimming with Technique and Mental Awareness Gene Damm / Buch Broschur
common.buy 12.59 €
Suddenly, Tomorrow Came...: A History of the Johnson Space Center National Aeronautics and Administration / Buch Broschur
common.buy 18.19 €
Beautiful Circles Coloring Book: Circles full of beautiful doodle art designs to color Dwyanna Stoltzfus / Buch Broschur
common.buy 10.69 €
Bosses and Blackjacks: A Tale of "The Bloody Fifth" in Philadelphia L C Bennett Stern / Buch Broschur
common.buy 15.39 €
S.U.D.S The Dogs that brought a Community together: Sunnyside United Dog Society Jeannette Remak / Buch Broschur
common.buy 27.49 €
The Anger Management Manual: Get Control of Yourself Cameron Stewart / Buch Broschur
common.buy 8.89 €
Wyoming Rugged Diana Palmer / Buch Broschur
common.buy 10.39 €
Kant on Human Dignity Oliver Sensen / Buch Hardcover
common.buy 123.99 €
Dynamics of Violence. Georg Elwert / Buch Broschur
common.buy 77.29 €
Geolocation Techniques Camillo Gentile / Buch Hardcover
common.buy 192.99 €
Mongrel Prince Ken Goudsward / Buch Broschur
common.buy 12.59 €
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Buch Broschur
common.buy 77.69 €
Miss Daisy Weed Down to Earth CHARLOTTE GODKIN / Buch Hardcover
common.buy 21.89 €
Top
Concise 33 Strategies of War Robert Greene / Buch Broschur
common.buy 10.29 €
God's Laboratory Elizabeth F S Roberts / Buch Broschur
common.buy 42.39 €

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