Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers (Lamport Leslie)(Paperback)
EAN: 9780321143068
This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good idea to understand a system before building it, so it's a good idea to write a specification of a system before implementing it. The most effective tool to describe a specification is the Temporal Logic of Actions, or TLA, because it provides a mathematical, i.e. precise, foundation for describing systems. TLA+ is the language the author developed to write the mathematical specifications. TLA+ is available freely on the web. It can be used for both software and hardware. In fact, Intel is using TLA+ with great success in the design of a new chip. The book is divided into four parts. The first
Cena 1 008 Kč v 1 obchodě
Obchody, které prodávají Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers (Lamport Leslie)(Paperback)
Zobrazit historii ceny Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers (Lamport Leslie)(Paperback)
Historie nejnižsí ceny Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers (Lamport Leslie)(Paperback). Porovnání obchodů, které prodávají Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers (Lamport Leslie)(Paperback).
Kuby Clemens Léčení - Zázrak v násSchneiderová Michaela: Perioperační péThe Art of the Start 2.0 : The Time-TeJan Špáta - Martin ŠtollCome SundownPočátky řeckého myšlení - Vernant JeanDějepis 7 pro základní školy StředověkOkolie Banskej Bystrice Donovaly 1:50 NizozemskoNew York - Lonely Planet
- neuveAudio CD: GodulaLili a Vili 1 - Matematické hry pro 1.