Fundamentals of Algebraic Specification 1
Equations and Initial Semantics
Häftad, Engelska, 2011
1 429 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results,and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms.The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.
Produktinformation
- Utgivningsdatum2011-11-23
- Mått170 x 244 x undefined mm
- Vikt588 g
- FormatHäftad
- SpråkEngelska
- SerieMonographs in Theoretical Computer Science. An EATCS Series
- Antal sidor321
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642699641
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Häftad, 1985
579 kr
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Häftad, 1985
699 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
519 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
519 kr
Graph-Grammars and Their Application to Computer Science
Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
Häftad, 1987
1 439 kr
Petri Net Technology for Communication-Based Systems
Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
Häftad, 2003
719 kr
Integration of Software Specification Techniques for Applications in Engineering
Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
Häftad, 2004
739 kr
Graph Transformations
Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
Häftad, 2004
719 kr
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Inbunden, 2006
1 769 kr
Hoppa över listan
Du kanske också är intresserad av
Del 21
Fundamentals of Algebraic Specification 2
Hartmut Ehrig, Bernd Mahr, Hartmut Ehrig, Bernd Mahr
Häftad, 2011
719 kr
Mathematisch-strukturelle Grundlagen der Informatik
Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz
Häftad, 2001
539 kr
Graph Transformations
Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Häftad, 2010
719 kr
Autonomous Systems – Self-Organization, Management, and Control
Bernd Mahr, Huanye Sheng
Inbunden, 2008
1 429 kr
Recent Trends in Data Type Specification
Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
Häftad, 1991
739 kr
Autonomous Systems – Self-Organization, Management, and Control
Bernd Mahr, Huanye Sheng
Häftad, 2010
1 439 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
519 kr
Graph Transformations
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Häftad, 2006
719 kr