Automated Theorem Proving in Software Engineering - Johann M. Schumann - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540679899 - 20 juni 2001
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 61,49

Besteld in een afgelegen magazijn

Verwachte levering 13 - 27 okt.
Ontvang meldingen over nieuwe releases van Johann M. Schumann

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 20 juni 2001
ISBN13 9783540679899
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 250
Afmetingen 156 × 234 × 15 mm   ·   471 g
Taal en grammatica Engels  
Deelnemer D. Loveland

Meer van dezelfde uitgever

Bekijk alles van Johann M. Schumann