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 - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 20 juli 2007
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.199

Beställningsvara

Förväntad leverans 15 - 29 okt
Få avisering om nya utgåvor med Manuel Clavel

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 20 juli 2007
ISBN13 9783540719403
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 824
Mått 156 × 234 × 41 mm   ·   1,15 kg
Språk Engelska  

Mer från samma **utgivare**

Se alt med Manuel Clavel