Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - Taschenbuch
1998, ISBN: 3540654623
[EAN: 9783540654629], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGEBRA; AUTOMAT; HARDWARE; VARIABLE; AUTOMATA; FORMALVERIFICATION; LOGIC; MODELCHECKING; PROGRAMMING; PROVING;… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - neues Buch
1998, ISBN: 3540654623
1999 Kartoniert / Broschiert Algebra, Software Engineering, Theoretische Informatik, Künstliche Intelligenz, Automat; Hardware; Variable; automata; formalverification; logic; modelcheck… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - neues Buch
1998, ISBN: 3540654623
1999 Kartoniert / Broschiert Algebra, Software Engineering, Theoretische Informatik, Künstliche Intelligenz, Automat; Hardware; Variable; automata; formalverification; logic; modelchec… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540654629
Algebraic Methodology and Software Technology ab 106.99 € als Taschenbuch: 7th International Conference AMAST'98 Amazonia Brazil January 4-8 1999 Proceedings. Auflage 1999. Aus dem Bereic… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - Taschenbuch
ISBN: 9783540654629
paperback, [PU: Springer, Berlin/Heidelberg]
Blackwells.co.uk |
Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - Taschenbuch
1998, ISBN: 3540654623
[EAN: 9783540654629], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGEBRA; AUTOMAT; HARDWARE; VARIABLE; AUTOMATA; FORMALVERIFICATION; LOGIC; MODELCHECKING; PROGRAMMING; PROVING;… Mehr…
Haeberer, Armando M. (Herausgeber):
Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - neues Buch1998, ISBN: 3540654623
1999 Kartoniert / Broschiert Algebra, Software Engineering, Theoretische Informatik, Künstliche Intelligenz, Automat; Hardware; Variable; automata; formalverification; logic; modelcheck… Mehr…
Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings - neues Buch
1998
ISBN: 3540654623
1999 Kartoniert / Broschiert Algebra, Software Engineering, Theoretische Informatik, Künstliche Intelligenz, Automat; Hardware; Variable; automata; formalverification; logic; modelchec… Mehr…
ISBN: 9783540654629
Algebraic Methodology and Software Technology ab 106.99 € als Taschenbuch: 7th International Conference AMAST'98 Amazonia Brazil January 4-8 1999 Proceedings. Auflage 1999. Aus dem Bereic… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Algebraic Methodology and Software Technology
EAN (ISBN-13): 9783540654629
ISBN (ISBN-10): 3540654623
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1998
Herausgeber: Springer Berlin Heidelberg
552 Seiten
Gewicht: 0,824 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-07-10T12:27:07+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-10T10:13:48+01:00 (Vienna)
ISBN/EAN: 9783540654629
ISBN - alternative Schreibweisen:
3-540-65462-3, 978-3-540-65462-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: armando, charles johnson, martin johnson, martin maurice, michael fleck, enschede
Titel des Buches: methodology and science, algebraic methodology software technology, amazonia, proceedings the conference algebraic, proceedings the international conference methodologies, brazil, 7th international, armando, lecture notes computer science
Daten vom Verlag:
Autor/in: Armando M. Haeberer
Titel: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
Verlag: Springer; Springer Berlin
540 Seiten
Erscheinungsjahr: 1998-12-15
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 540 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Automat; Hardware; Variable; automata; formal verification; logic; model checking; programming; proving; real-time; semantics; term rewriting; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Artificial Intelligence; Symbolic and Algebraic Manipulation; Theoretische Informatik; Künstliche Intelligenz; Mathematik für Informatiker; EA
Invited Talks (Extended Abstracts).- Duration Calculus, a Logical Approach to Real-Time Systems.- Abstract Algebraic Logic.- Systematising Reactive System Design.- Systematic Design of Call-Coverage Features.- Visual Abstractions for Temporal Verification.- A Linear Metalanguage for Concurrency.- Presentations.- Verification of Bounded Delay Asynchronous Circuits with Timed Traces.- Verification of Temporal Properties of Processes in a Setting with Data.- A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus.- Effective Recognizability and Model Checking of Reactive Fiffo Automata.- Combining Methods for the Livelock Analysis of a Fault-Tolerant System.- Presentations.- Separating Sets by Modal Formulas.- Interpolation in Modal Logic.- Building Models of Linear Logic.- Term Rewriting in a Logic of Special Relations.- Abstraction Barriers in Equational Proof.- Presentations.- A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.- A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.- Consistency of Partial Process Specifications.- Observational Logic.- Scheduling Algebra.- Presentations.- Algebraic Semantics of Coordination or What Is in a Signature.- An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.- An Algebraic View of Program Composition.- Architectural Specifications in CASL.- Pi-Congruences as CCS Equivalences.- Presentations.- Algebraic Specifications, Higher-Order Types and Set-Theoretic Models.- Type Analysis for CHIP.- Categorical Programming with Abstract Data Types.- Condensing Lemmas for Pure Type Systems with Universes.- Improving Computations in a Typed Functional Logic Language.- Presentations.- Abstract Interpretation of Prolog Programs.- Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.- A Single Perspective on Arrows between Institutions.- On Oracles for Interpreting Test Results against Algebraic Specifications.- Systems and Tool Demonstrations.- Recopla: An Extendible Graphic Meta-Editor.- The State of PEP.- The Abaco System — An Algebraic Based Action COmpiler.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9780387614632 Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings (Lecture Notes in Computer Science, 1101) (Germany) International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, M. Wirsing, M. Nivat)
- 9783540198529 Algebraic Methodology and Software Technology (AMAST?93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9783540223818 Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116) (Rattray, Charles, Maharaj, Savitri)
- [(Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings)] [Edited by Martin Wirsing ] published on (August, 1996) (Martin Wirsing)
< zum Archiv...