All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science - Manuel Clavel - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 20. julija 2007
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Manuel Clavel
All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science 2007 edition

Cena
€ 102,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 14. - 28. avg
Prejemajte obvestila o novih izdajah izvajalca Manuel Clavel

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. This monograph offers a comprehensive account of Maude, a language and system based on rewriting logic.

824 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 20. julija 2007
ISBN13 9783540719403
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 824
Dimenzije 156 × 234 × 41 mm   ·   1,15 kg
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Manuel Clavel ( Na primer Paperback Book in Hardcover Book )