Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Modelling Systems

Name: Modelling Systems
Brand: Cambridge University Press
SKU: 04095974
Price: 1543 CZK
Availability: InStock
Author: John Fitzgerald
ISBN: 9780521899116

John Fitzgerald

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 04095974

Nakladatelství Cambridge University Press, červen 2009

How can we make sure that the software we build does what it is supposed to? This book provides an i... Celý popis

Libristo kód: 04095974

154 b

1 543 Kč

Skladem u dodavatele Odesíláme za 14-20 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Meine ersten Kinderlieder Ralf Stock

Noty

230 Kč

Na západní frontě klid Erich Maria Remarque

Pevná

239 Kč

Gehenne Saidi

Brožovaná

444 Kč

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.