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 - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 20 juillet 2007
Si la couverture et le titre ne correspondent pas, le titre est 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

Prix
€ 105,99

Commandé depuis un entrepôt distant

Livraison prévue 12 - 26 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Manuel Clavel

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 20 juillet 2007
ISBN13 9783540719403
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 824
Dimensions 156 × 234 × 41 mm   ·   1,15 kg
Langue et grammaire Anglais  

Plus d'ouvrages du même éditeur

Voir tous les Manuel Clavel