- 5 Ergebnisse
Kleinster Preis: € 99,99, größter Preis: € 145,77, Mittelwert: € 114,19
1
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - Christophe Ringeissen
Bestellen
bei ZVAB.com
€ 106,99
Versand: € 15,991
Bestellengesponserter Link
Christophe Ringeissen:

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…

NEW BOOK. Versandkosten: EUR 15.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Note: 5 (sur 5)]
2
Algebraic Methodology and Software Technology by Helene Kirchner Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 193,50
(ca. € 145,77)
Bestellengesponserter Link
Algebraic Methodology and Software Technology by Helene Kirchner Paperback | Indigo Chapters - neues Buch

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…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - Ringeissen, Christophe (Herausgeber); Kirchner, Helene (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellengesponserter Link
Ringeissen, Christophe (Herausgeber); Kirchner, Helene (Herausgeber):
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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings - Ringeissen, Christophe (Herausgeber); Kirchner, Helene (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 106,99
Versand: € 0,001
Bestellengesponserter Link
Ringeissen, Christophe (Herausgeber); Kirchner, Helene (Herausgeber):
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…

Versandkosten:Sans frais d'envoi en Allemagne. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Algebraic Methodology and Software Technology - Helene Kirchner
Bestellen
bei BookDepository.com
€ 99,99
Versand: € 0,001
Bestellengesponserter Link
Helene Kirchner:
Algebraic Methodology and Software Technology - Taschenbuch

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…

Versandkosten:Versandkostenfrei. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Algebraic Methodology and Software Technology by Helene Kirchner Paperback | Indigo Chapters

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002.The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development.

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

< zum Archiv...