Automated Theorem Proving in Software Engineering - Johann M. Schumann - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540679899 - 2001. gada 20. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 64,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 30. jūl. - . gada 13. aug.
Saņemiet paziņojumus par jauniem Johann M. Schumann izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2001. gada 20. jūnijs
ISBN13 9783540679899
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 250
Izmēri 156 × 234 × 15 mm   ·   471 g
Valoda Angļu  
Ieguldītājs D. Loveland

Vairāk no tā paša izdevēja

Skatīt visus Johann M. Schumann ( piem., Hardcover Book un Paperback Book )