- 5 Ergebnisse
Kleinster Preis: € 20,38, größter Preis: € 100,06, Mittelwert: € 54,15
1
Algebraic Methodology and Software Technology
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Algebraic Methodology and Software Technology - neues Buch

ISBN: 9783540356332

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then… Mehr…

Nr. 978-3-540-35633-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
2
Algebraic Methodology and Software Technology - Johnson, Michael|Vene, Varmo
Bestellen
bei AbeBooks.de
€ 71,35
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Johnson, Michael|Vene, Varmo:

Algebraic Methodology and Software Technology - Taschenbuch

2006, ISBN: 3540356339

[EAN: 9783540356332], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING UNIFIEDMODELINGLANGUAGE(UML) ABSTRACTSTATEMACHINES ALGEBRAICMETHODS ALGEBR… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
zuklappen (X)
3
Bestellen
bei alibris.co.uk
€ 20,38
Bestellen
Details und Versand
gesponserter Link
Johnson, Michael [Editor]; Vene, Varmo [Editor];:
Algebraic Methodology and Software Technology: 11th International Conference, Amast 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture Notes in Computer Science, 4019) - Taschenbuch

2006

ISBN: 9783540356332

Paperback, Gebraucht, sehr guter Zustand, Size: 9x6x0; SHIPS THE NEXT BUSINESS DAY. NO WRITING OR HIGHLIGHTING, CLEAN PAGES, THE COVER HAS ONLY NORMAL LIGHT WEAR. ALL ORDERS EXCEEDING $50… Mehr…

Versandkosten:zzgl. Versandkosten Cedar Hill, TN, Gonia Books
zuklappen (X)
4
Bestellen
bei AbeBooks.de
€ 100,06
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
MICHAEL JOHNSON, VARMO VENE:
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: 11TH INTERNATIONAL CONFERENCE, AMAST 2006, KURESSAARE, ESTONIA, JULY 5-8, 2006, PROCEEDINGS - Taschenbuch

2006, ISBN: 3540356339

[EAN: 9783540356332], Neubuch, [PU: Springer], Books may ship from multiple locations for easy availability and logistics. PO Box orders may take a little longer for deliveries. All order… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Vaci, Lewes, DE, U.S.A. [83103047] [Rating: 5 (von 5)]
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 27,05
(ca. € 25,46)
Versand: € 17,051
Bestellen
Details beim Anbieter
gesponserter Link
Johnson, Michael [Editor]; Vene, Varmo [Editor];:
Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture ... / Programming and Software Engineering) - Taschenbuch

2006, ISBN: 9783540356332

Springer, 2006-07-28. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2006-07-28, 3

Versandkosten: EUR 17.05 GuthrieBooks
zuklappen (X)
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
Autor:
Titel:
ISBN-Nummer:

9783540356332


This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

Detailangaben zum Buch - Algebraic Methodology and Software Technology


EAN (ISBN-13): 9783540356332
ISBN (ISBN-10): 3540356339
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin
404 Seiten
Gewicht: 0,608 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-11T22:17:21+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-14T15:23:09+01:00 (Zurich)
ISBN/EAN: 9783540356332

ISBN - alternative Schreibweisen:
3-540-35633-9, 978-3-540-35633-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: vene, johnson, michael
Titel des Buches: methodology and science, algebraic methodology software technology, estonia 2006, computer, proceedings the international conference methodologies, about estonia, kuressaare

Daten vom Verlag:

Autor/in: Michael Johnson; Varmo Vene
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Algebraic Methodology and Software Technology - 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Verlag: Springer; Springer Berlin
392 Seiten
Erscheinungsjahr: 2006-06-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 392 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Unified Modeling Language (UML); abstract state machines; algebraic methods; algebraic specification; communication; correct software design; formal methods; formal specification; formal verification; logic; mathematical software construction; model checking; program; programming language; semantics; 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 Talks.- Incremental Software Construction with Refinement Diagrams.- Recursive Program Schemes: Past, Present, and Future.- Monad-Based Logics for Computational Effects.- Contributed Papers.- State Space Representation for Verification of Open Systems.- Data Movement Optimisation in Point-Free Form.- Measuring the Speed of Information Leakage in Mobile Processes.- Formal Islands.- Some Programming Languages for Logspace and Ptime.- Opaque Predicates Detection by Abstract Interpretation.- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.- Model Transformations Incorporating Multiple Views.- Hyperfinite Approximations to Labeled Markov Transition Systems.- State Space Reduction of Rewrite Theories Using Invisible Transitions.- The Essence of Multitasking.- The Substitution Vanishes.- Decomposing Interactions.- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.- Assessing the Expressivity of Formal Specification Languages.- Fork Algebras as a Sufficiently Rich Universal Institution.- Realizability Criteria for Compositional MSC.- Quantales and Temporal Logics.- Fractional Semantics.- Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.- Testing Semantics: Connecting Processes and Process Logics.- Tableaux for Lattices.- Accelerated Modal Abstractions of Labelled Transition Systems.- A Compositional Semantics of Plan Revision in Intelligent Agents.- System Descriptions.- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.- A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.- Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework.
< zum Archiv...