Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - neues Buch
2002, ISBN: 9783540457190
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-le… Mehr…
| hive.co.uk No. 9783540457190. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2002, ISBN: 9783540457190
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9â??13, 2002, in Saint-Gilles-… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2003, ISBN: 9783540457190
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg… Mehr…
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - neues Buch
2002, ISBN: 9783540457190
; PDF; Scientific, Technical and Medical > Mathematics > Algebra, Springer Berlin Heidelberg
| hive.co.uk No. 9783540457190. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2003, ISBN: 9783540457190
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
| lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - neues Buch
2002, ISBN: 9783540457190
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-le… Mehr…
2002, ISBN: 9783540457190
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9â??13, 2002, in Saint-Gilles-… Mehr…
2003
ISBN: 9783540457190
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg… Mehr…
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - neues Buch
2002, ISBN: 9783540457190
; PDF; Scientific, Technical and Medical > Mathematics > Algebra, Springer Berlin Heidelberg
2003, ISBN: 9783540457190
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Algebraic Methodology and Software Technology
EAN (ISBN-13): 9783540457190
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-12-08T17:18:46+01:00 (Vienna)
Detailseite zuletzt geändert am 2022-07-07T17:55:09+02:00 (Vienna)
ISBN/EAN: 9783540457190
ISBN - alternative Schreibweisen:
978-3-540-45719-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kirchner, christophe
Titel des Buches: technology technology, september island, international conference software
Daten vom Verlag:
Autor/in: Helene Kirchner; Christophe Ringeissen
Titel: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
Verlag: Springer; Springer Berlin
508 Seiten
Erscheinungsjahr: 2003-08-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 508 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Abstract State Machines; Algebraic Methods; Algebraic State Machines; Formal Methods; Formal Specification; Formal Verification; Java; Mathematical Software Construction; Process Algebras; Software Design; Software Development; algebra; formal method; model checking; verification; C; Theory of Computation; Software Engineering; Algebra; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Software Engineering; Algebra; BC
Invited Papers.- From Specifications to Code in Casl.- Automata and Games for Synthesis.- Pragmatics of Modular SOS.- Tool-Assisted Specification and Verification of the JavaCard Platform.- Higher-Order Quantification and Proof Search*.- Algebraic Support for Service-Oriented Architecture.- Regular Papers.- Fully Automatic Adaptation of Software Components Based on Semantic Specifications*.- HasCasl: Towards Integrated Specification and Development of Functional Programs.- Removing Redundant Arguments of Functions*.- A Class of Decidable Parametric Hybrid Systems.- Vacuity Checking in the Modal Mu-Calculus*.- On Solving Temporal Logic Queries.- Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*.- An Algebra of Non-safe Petri Boxes.- Refusal Simulation and Interactive Games.- A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.- Equational Axioms for Probabilistic Bisimilarity.- Bisimulation by Unification*.- Transforming Processes to Check and Ensure Information Flow Security*.- On Bisimulations for the Spi Calculus*.- Specifying and Verifying a Decimal Representation in Java for Smart Cards*.- A Method for Secure Smartcard Applications.- Extending JML Specifications with Temporal Logic.- Algebraic Dynamic Programming.- Analyzing String Buffers in C.- A Foundation of Escape Analysis*.- A Framework for Order-Sorted Algebra.- Guarded Transitions in Evolving Specifications.- Revisiting the Categorical Approach to Systems*.- Proof Transformations for Evolutionary Formal Software Development.- Sharing Objects by Read-Only References.- Class-Based versus Object-Based: A Denotational Comparison.- System Descriptions.- BRAIN: Backward Reachability Analysis with Integers.- The Development Graph Manager Maya.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...