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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo-Code: 01297498
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Januar 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Vollständige Beschreibung
? points 129 b
52.79 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Vyjdi, i vyšel Štěpán Hájek / Buch binding.
common.buy 3.29 €
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Buch Broschur
common.buy 43.90 €
Accès à l'eau potable Elamé / Buch Broschur
common.buy 19.29 €
Papà, guarda! Eva Montanari / Buch Hardcover
common.buy 14.19 €
Sběratel vůní Dominique Roques / Buch Hardcover
common.buy 11.39 €
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Buch Broschur
common.buy 34.89 €
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Buch Broschur
common.buy 69.90 €
Distinció. Un segle de fotografia de moda Naranjo Niño / Buch Broschur
common.buy 24.89 €
Sto tváří, sto příběhů Jiří Hanuš / Buch Broschur
common.buy 14.69 €
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Buch Broschur
common.buy 17.95 €
Salben im Morgen- und Abendlande Friedrich W. Culmann / Buch Broschur
common.buy 29.90 €
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Buch Broschur
common.buy 19.99 €
Les Archives Star Wars. 1977-1983 Paul Duncan / Buch Hardcover
common.buy 175.79 €
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Buch Broschur
common.buy 9.19 €
Insanlik Sana Hasret Sultanim Süleyman Dama / Buch Broschur
common.buy 10.79 €
Star Trek Deep Space Nine 3 Jeffrey Lang / Buch Broschur
common.buy 15.00 €
Musiklehre, m. DVD Friedrich Neumann / Buch Blatt
common.buy 37.69 €
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Buch Broschur
common.buy 59.59 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 2010 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
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 199
EAN 9783642180699
ISBN 3642180698
Libristo-Code 01297498
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 331
Abmessungen 155 x 235 x 13

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 > Objektorientierte Programmierung (OOP)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
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

Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Buch Broschur
common.buy 12.29 €
Top
The Hot Rats Book Bill Gubbins / Buch Hardcover
common.buy 28.09 €
Artist Formerly Known as Adolf Hitler A.M OVERETT / Buch Broschur
common.buy 12.29 €
Gorillas and Their Infants: A 4D Book Margaret Hall / Buch Hardcover
common.buy 18.19 €
Rethinking New Womanhood Nazia Hussein / Buch Hardcover
common.buy 109.49 €
The Flying Inn (1914), By Gilbert K. Chesterton ( Speculative Fiction Novel ): Gilbert Keith Chesterton G. K. Chesterton / Buch Broschur
common.buy 7.49 €
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Buch Broschur
common.buy 13.49 €
trip Round the World in 1887-8 William Sproston Cain / Buch Broschur
common.buy 25.69 €
Tornadoes Mari C. Schuh / Buch Broschur
common.buy 8.49 €
Anglo-American Insanity Defence Reform Faye Boland / Buch Broschur
common.buy 50.09 €
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Buch Hardcover
common.buy 42.19 €
Will I See My Dog In Heaven Jack Wintz / Buch Broschur
common.buy 13.29 €
The Finest of the Wheat, Volume 1 Selected Excerpts from the Published Works of Watchman Nee Watchman Nee / Buch Hardcover
common.buy 16.29 €
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Buch Hardcover
common.buy 32.29 €
Quantum Pythagoreans Ivsin / Buch Broschur
common.buy 19.79 €
Back to Zero Gil Rendle / Buch Broschur
common.buy 11.09 €
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ... Jonathan Edwards / Buch Broschur
common.buy 16.29 €
Professor X: A Blue Devils MC Kiki Leach / Buch Broschur
common.buy 17.29 €
Proceedings of the 12th International Conference on Advanced Materials and Engineering Materials Laichang Zhang / Buch Broschur
common.buy 187.89 €
Mathematical Olympiad in China (2023): Problems and Solutions XIONG BIN / Buch Broschur
common.buy 27.59 €
Top
Merry Christmas Coloring Book Hanna Karlzon / Buch Hardcover
common.buy 12.39 €
Surgical Recall Blackbourne / Buch Broschur
common.buy 58.79 €
Detective Dogs Are on the Case STEVENS ALISON PEARCE / Buch Hardcover
common.buy 14.29 €
"They Say / I Say" with Readings Gerald Graff / Buch Hardcover
common.buy 65.59 €

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?