Software Specification: A Comparison of Formal Methods - Marvin V. Zelkowitz - Boeken - Intellect - 9781567500332 - 1 mei 1995
Indien omslag en titel niet overeenkomen, is de titel correct

Marvin V. Zelkowitz
Software Specification: A Comparison of Formal Methods

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Marvin V. Zelkowitz

Onze klanten zeggen:

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

Nog niet beoordeeld

This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.

288 pages, references, indexes

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 1 mei 1995
ISBN13 9781567500332
Uitgevers Intellect
Pagina's 200
Afmetingen 161 × 230 × 19 mm   ·   485 g   (Gewicht (geschat))
Taal en grammatica Engels  

Meer van dezelfde uitgever

Bekijk alles van Marvin V. Zelkowitz