Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings - Taschenbuch
2004, ISBN: 3540223819
[EAN: 9783540223818], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) / ENTWICKLUNG; JAVA; UNIFIEDMODELINGLANGUAGE(UML); ALGEBRAICMETHODS; ALGEBRAICSPECIFICATION… 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: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116) - Taschenbuch
2008, ISBN: 9783540223818
Springer, Taschenbuch, Auflage: 2004, 584 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 3.97 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
amazon.de Free Rein Entertainment Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science) - Taschenbuch
2004, ISBN: 9783540223818
Springer, 2004-08-05. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer,… Mehr…
Biblio.co.uk |
2004, ISBN: 3540223819
Algebraic Methodology and Software Technology ab 106.99 € als Taschenbuch: 10th International Conference AMAST 2004 Stirling Scotland UK July 12-16 2004 Proceedings. Auflage 2004. Aus dem… Mehr…
Hugendubel.de Nr. 3019147. Versandkosten:, , DE. (EUR 0.00) Details... |
2004, ISBN: 9783540223818
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2004
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings - Taschenbuch
2004, ISBN: 3540223819
[EAN: 9783540223818], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) / ENTWICKLUNG; JAVA; UNIFIEDMODELINGLANGUAGE(UML); ALGEBRAICMETHODS; ALGEBRAICSPECIFICATION… Mehr…
Rattray, Charles, Maharaj, Savitri:
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) - Taschenbuch2008, ISBN: 9783540223818
Springer, Taschenbuch, Auflage: 2004, 584 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 3.97 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science) - Taschenbuch
2004
ISBN: 9783540223818
Springer, 2004-08-05. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer,… Mehr…
2004, ISBN: 3540223819
Algebraic Methodology and Software Technology ab 106.99 € als Taschenbuch: 10th International Conference AMAST 2004 Stirling Scotland UK July 12-16 2004 Proceedings. Auflage 2004. Aus dem… Mehr…
2004, ISBN: 9783540223818
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2004
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - 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)
EAN (ISBN-13): 9783540223818
ISBN (ISBN-10): 3540223819
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer
588 Seiten
Gewicht: 0,877 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-03T22:35:51+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-06-15T21:31:03+02:00 (Vienna)
ISBN/EAN: 9783540223818
ISBN - alternative Schreibweisen:
3-540-22381-9, 978-3-540-22381-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sco, rattray, maharaj, savitri
Titel des Buches: stirling, methodology and science, algebraic methodology software technology, notes, algebra, proceedings the conference algebraic, proceedings the international conference methodologies, savitri
Daten vom Verlag:
Autor/in: Charles Rattray; Savitri Maharaj
Titel: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Verlag: Springer; Springer Berlin
572 Seiten
Erscheinungsjahr: 2004-06-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 572 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Mathematik; Informatik; Java; Unified Modeling Language (UML); algebraic methods; algebraic specification; calculus; correct software design; formal method; formal methods; formal verification; mathematical software construction; model checking; modeling; process algebra; programming; programming calculi; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Symbolic and Algebraic Manipulation; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Mathematik für Informatiker; EA
Invited Speakers.- Algebraic Approaches to Problem Generalisation.- A Science of Software Design.- Glass Box and Black Box Views of State-Based System Specifications.- Abstraction for Safety, Induction for Liveness.- Counting Votes with Formal Methods.- Agent-Oriented Programming: Where Do We Stand?.- Contributed Talks.- On Guard: Producing Run-Time Checks from Integrity Constraints.- Behavioural Types and Component Adaptation.- Towards Correspondence Carrying Specifications.- Formalizing and Proving Semantic Relations between Specifications by Reflection.- Model-Checking Systems with Unbounded Variables without Abstraction.- A Generic Software Safety Document Generator.- Linear Temporal Logic and Z Refinement.- Formal JVM Code Analysis in JavaFAN.- Verifying a Sliding Window Protocol in ?CRL.- State Space Reduction for Process Algebra Specifications.- A Hybrid Logic of Knowledge Supporting Topological Reasoning.- A Language for Configuring Multi-level Specifications.- Flexible Proof Reuse for Software Verification.- Deductive Verification of Distributed Groupware Systems.- Formal Verification of a Commercial Smart Card Applet with Multiple Tools.- Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.- Refining Mobile UML State Machines.- Verifying Invariants of Component-Based Systems through Refinement.- Modelling Concurrent Interactions.- Proof Support for RAISE by a Reuse Approach Based on Institutions.- Separate Compositional Analysis of Class-Based Object-Oriented Languages.- Abstract Domains for Property Checking Driven Analysis of Temporal Properties.- Modular Rewriting Semantics of Programming Languages.- Modal Kleene Algebra and Partial Correctness.- Modularity and the Rule of Adaptation.- Modal Abstractions in ?CRL.- Semantics ofPlan Revision in Intelligent Agents.- Generic Exception Handling and the Java Monad.- Expressing Iterative Properties Logically in a Symbolic Setting.- Extending Separation Logic with Fixpoints and Postponed Substitution.- A Formally Verified Calculus for Full Java Card.- On Refinement of Generic State-Based Software Components.- Techniques for Executing and Reasoning about Specification Diagrams.- Formalising Graphical Behaviour Descriptions.- Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.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)
- [(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...