Z - An Introduction to Formal Methods 2e / Nejlevnější knihy
Z - An Introduction to Formal Methods 2e

Kód: 04894683

Z - An Introduction to Formal Methods 2e

Autor Antoni Diller

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code ... celý popis

1870


Skladem u dodavatele
Odesíláme za 10-18 dnů
Přidat mezi přání

Mohlo by se vám také líbit

Dárkový poukaz: Radost zaručena

Objednat dárkový poukazVíce informací

Více informací o knize Z - An Introduction to Formal Methods 2e

Nákupem získáte 187 bodů

Anotace knihy

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

1870

Oblíbené z jiného soudku



Osobní odběr Praha, Brno a 46611 dalších

Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Balikovně a PPL
boxech
zdarma nad 1 499 Kč.

Nacházíte se: