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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 20 juli 2007
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 103,49

Besteld in een afgelegen magazijn

Verwachte levering 21 aug. - 4 sep.
Ontvang meldingen over nieuwe releases van Manuel Clavel

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 20 juli 2007
ISBN13 9783540719403
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 824
Afmetingen 156 × 234 × 41 mm   ·   1,15 kg
Taal en grammatica Engels  

Meer van dezelfde uitgever

Bekijk alles van Manuel Clavel ( bijv. Paperback Book en Hardcover Book )