Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - Taschenbuch
2002, ISBN: 3540441441
[EAN: 9783540441441], Nouveau livre, [SC: 15.99], [PU: Springer Berlin Heidelberg], ALGEBRA; EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ABSTRACTSTATEMACHINES; ALGEBRAI… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Note: 5 (sur 5)] NEW BOOK. Versandkosten: EUR 15.99 Details... |
2002, ISBN: 9783540441441
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. 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: 3540441441
2002 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Software Engine… 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 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - neues Buch
2002, ISBN: 3540441441
2002 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Software Engine… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Sans frais d'envoi en Allemagne. (EUR 0.00) Details... |
2002, ISBN: 9783540441441
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Sof… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (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 - Taschenbuch
2002, ISBN: 3540441441
[EAN: 9783540441441], Nouveau livre, [SC: 15.99], [PU: Springer Berlin Heidelberg], ALGEBRA; EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ABSTRACTSTATEMACHINES; ALGEBRAI… Mehr…
2002, ISBN: 9783540441441
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…
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: 3540441441
2002 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Software Engine… 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: 3540441441
2002 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Software Engine… Mehr…
2002, ISBN: 9783540441441
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Sof… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Algebraic Methodology and Software Technology by Helene Kirchner Paperback | Indigo Chapters
EAN (ISBN-13): 9783540441441
ISBN (ISBN-10): 3540441441
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Helene Kirchner
520 Seiten
Gewicht: 0,777 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-09T22:31:55+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-07-07T17:55:07+02:00 (Vienna)
ISBN/EAN: 9783540441441
ISBN - alternative Schreibweisen:
3-540-44144-1, 978-3-540-44144-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kirchner, ringeis, ming berlin, christophe
Titel des Buches: methodology and science, algebraic methodology software technology, proceedings the international conference methodologies, september, réunion france, island, reunion, saint gilles, 2002
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: 2002-08-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 508 p.
BC; Hardcover, Softcover / 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; Theory of Computation; Software Engineering; Algebra; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Algebra; EA
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)
- 9783540600435 Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Lecture Notes in Computer Science, 936, Band 936) (Alagar, V.S. Nivat, Maurice)
- 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...