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 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Modular Specification and Verification of Object-Oriented Programs

Name: Modular Specification and Verification of Object-Oriented Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564071
Price: 53.79 EUR
Availability: InStock
Author: Peter Müller
ISBN: 9783540431671

Peter Müller

Sprache

Englisch

Buch Broschur

Libristo-Code: 01564071

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

This book presents new techniques for the formal specification and verification of object-oriented s... Vollständige Beschreibung

Libristo-Code: 01564071

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le Barman du Ritz Philippe Collin

Broschur

29.69 €

Juste un regard Harlan Coben

Broschur

27.89 €

Wechselkröte Ana Marwan

Hardcover

23.89 €

Kniha hlavolamů s mapami měst a zemí Philip Kiefer

Hardcover

11.29 €

Imbricaciones Mancini

Broschur

35.99 €

Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt

Broschur

69.90 €

Čepiec Katarína Kucbelová

Hardcover

13.59 €

Cours Complet Par Correspondance. Tome 15

Broschur

14.19 €

Frost Thomas Bernhard

Broschur

14.00 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Broschur

39.99 €

Gesänge der Liebe Hans-Peter Kolb

Hardcover

25.90 €

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

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 Modular Specification and Verification of Object-Oriented Programs

Autor Peter Müller

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 298

EAN 9783540431671

ISBN 3540431675

Libristo-Code 01564071

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 970

Abmessungen 155 x 235 x 17

Kategorie

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 > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Medizin > Medizin, allgemein

EDV und Informationstechnologie > Betriebssysteme

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