Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Z - An Introduction to Formal Methods 2e

Name: Z - An Introduction to Formal Methods 2e
Brand: John Wiley & Sons Inc
SKU: 9780471939733
Price: 82.83 EUR
Availability: InStock

Автор: Antoni Diller

Език:

Корици: С меки корици

Издател: John Wiley & Sons Inc

Наличност: Външен склад

Изпращаме след 10-18 дни

82.83 € 161.99 лв

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practica...

Информация за книгата

Автор

Antoni Diller

Език

Английски език

Корици

Книга - С меки корици

Издадена

1994

страници

394

EAN

9780471939733

ISBN

0471939730

Enbook ID

04894683

Издател

John Wiley & Sons Inc

Теглоt

690

Размери

244 x 172 x 21

Пълно описание

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.