Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Verification of Object-Oriented Software

Name: Formal Verification of Object-Oriented Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01297498
Price: 60.49 EUR
Availability: InStock
Author: Bernhard Beckert
ISBN: 9783642180699

Bernhard Beckert

Sprache

Englisch

Buch Broschur

Libristo-Code: 01297498

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2011

This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Vollständige Beschreibung

Libristo-Code: 01297498

148 b

60.49 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Distinció. Un segle de fotografia de moda Naranjo Niño

Broschur

29.89 €

Vyjdi, i vyšel Štěpán Hájek

binding.

3.59 €

Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni

Broschur

43.90 €

Accès à l'eau potable Elamé

Broschur

23.49 €

Papà, guarda! Eva Montanari

Hardcover

17.89 €

Sběratel vůní Dominique Roques

Hardcover

14.19 €

Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer

Broschur

66.39 €

Musiklehre, m. DVD Friedrich Neumann

Blatt

46.29 €

IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Buch

Broschur

42.89 €

Sto tváří, sto příběhů Jiří Hanuš

Broschur

16.99 €

Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald

Broschur

17.95 €

DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN

Broschur

24.39 €

Salben im Morgen- und Abendlande Friedrich W. Culmann

Broschur

32.19 €

Les Archives Star Wars. 1977-1983 Paul Duncan

Hardcover

207.79 €

formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco

Broschur

66.99 €

Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant

Broschur

10.39 €

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

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