Automated Theorem Proving in Software Engineering - Johann M. Schumann - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540679899 - 20. junija 2001
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Johann M. Schumann
Automated Theorem Proving in Software Engineering 2001 edition

Cena
€ 59,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 23. sep - 7. okt
Prejemajte obvestila o novih izdajah izvajalca Johann M. Schumann

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.

250 pages, 41 black & white tables, biography

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 20. junija 2001
ISBN13 9783540679899
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 250
Dimenzije 156 × 234 × 15 mm   ·   471 g
Jezik Angleščina  
Sodelujoči D. Loveland

Več od istega **izdajatelja**

Ogled vseh Johann M. Schumann