Gesamtpreis (1 Artikel Artikel):
Versandziel:
eker steven (5 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (5)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (4)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (5)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (1)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: Muy bueno. : Este libro es una guía completa sobre Maude, un marco lógico de alto rendimiento utilizado para especificar, programar y verificar sistemas mediante lógica de reescritura. Cubre desde los fundamentos hasta técnicas avanzadas, incluyendo especificación formal, programación declarativa y verificación de modelos. Ideal para estudiantes y profesionales interesados en lenguajes de programación y sistemas distribuidos. EAN: 9783540719403 Tipo: Libros Categoría: Tecnología|Ciencias Título: All About Maude - A High-Performance Logical Framework Autor: Manuel Clavel| Francisco Durán| Steven Eker| Narciso Martí-Oliet| José Meseguer| Carolyn Talcott| Patrick Lincoln Editorial: Springer Idioma: eng Páginas: 797 Formato: tapa blanda.
-
All About Maude - A High-Performance Logical Framework (Pb)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 103,05
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
All About Maude - A High-Performance Logical Framework
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540719407 ISBN 13: 9783540719403
EUR 108,72
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbBundle. Zustand: New. Offers a comprehensive account of Maude, a language and system based on rewriting logicProvides examples to illustrate key concepts, features, and practical applicationsIncludes supplementary material: sn.pub/extrasMaude is a.
-
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540719407 ISBN 13: 9783540719403
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 146,61
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. paperback/cd-rom edition. 794 pages. 9.00x6.00x1.25 inches. In Stock.
