Peter Muller
Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science Peter Muller 2002 edition

Name: Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science
Price: 549 SEK
Availability: OutOfStock
Author: Peter Muller

Pris

SEK 549

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026

Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

eller

Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science

Peter Muller

2002 edition

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.

298 pages, biography

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	23 januari 2002
ISBN13	9783540431671
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	298
Mått	155 × 235 × 16 mm · 439 g
Språk	Engelska