Name: Modular Specification and Verification of Object-Oriented Programs
Price: 644.95 DKK
Availability: InStock
Author: Peter Müller
ISBN: 9783540431671

Modular Specification and Verification of Object-Oriented Programs af Peter Müller

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
644,95 kr.

Bag om Modular Specification and Verification of Object-Oriented Programs

Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

Vis mere

Sprog:
Engelsk

ISBN:
9783540431671

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

Indbinding:
Paperback

Sideantal:
298

Udgivet:
23. januar 2002

Udgave:
2002

Størrelse:
234x156x16 mm.

Vægt:
970 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

På lager

Normalpris

BLACK NOVEMBER
644,95 kr. + Fragt
~~644,95 kr.~~

Medlemspris

594,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Peter Müller

Vis alle bøger af Peter Müller

Beskrivelse af Modular Specification and Verification of Object-Oriented Programs

Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

Brugerbedømmelser af Modular Specification and Verification of Object-Oriented Programs

Andre købte også..

Find lignende bøger

Bogen Modular Specification and Verification of Object-Oriented Programs findes i følgende kategorier:

Business og læring > Computer og IT

Modular Specification and Verification of Object-Oriented Programs - Peter Müller - Bog

Bag om Peter Müller

Beskrivelse af Modular Specification and Verification of Object-Oriented Programs

Brugerbedømmelser af Modular Specification and Verification of Object-Oriented Programs

Gør som tusindvis af andre bogelskere