Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - Taschenbuch
2000, ISBN: 3540675302
[EAN: 9783540675303], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AUTOMATENTHEORIE; INFORMATIK / DIDAKTIK, METHODIK; ABSTRACTSTATEMACHINES; ALGEBRAICMETHODS; ALGEBRAICSTATEMACHI… 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: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 3540675302
[EAN: 9783540675303], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer], COMPUTER & INTERNET / IT-AUSBILDUNG -BERUFE ALGEBRA ZAHLENTHEORIE NATURWISSENSCHAFTEN TECHNIK INFORMATIK SO… Mehr…
ZVAB.com getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 3.50 Details... |
Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - neues Buch
2000, ISBN: 3540675302
2000 Kartoniert / Broschiert Automatentheorie, Informatik / Didaktik, Methodik, Algebra, Algorithmen und Datenstrukturen, Software Engineering, Theoretische Informatik, AbstractStateMac… 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 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - neues Buch
2000, ISBN: 3540675302
2000 Kartoniert / Broschiert Automatentheorie, Informatik / Didaktik, Methodik, Algebra, Algorithmen und Datenstrukturen, Software Engineering, Theoretische Informatik, AbstractStateMac… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2000, ISBN: 9783540675303
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2000
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - Taschenbuch
2000, ISBN: 3540675302
[EAN: 9783540675303], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AUTOMATENTHEORIE; INFORMATIK / DIDAKTIK, METHODIK; ABSTRACTSTATEMACHINES; ALGEBRAICMETHODS; ALGEBRAICSTATEMACHI… Mehr…
Rus, Teodor:
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science) - Taschenbuch2008, ISBN: 3540675302
[EAN: 9783540675303], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer], COMPUTER & INTERNET / IT-AUSBILDUNG -BERUFE ALGEBRA ZAHLENTHEORIE NATURWISSENSCHAFTEN TECHNIK INFORMATIK SO… Mehr…
Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - neues Buch
2000
ISBN: 3540675302
2000 Kartoniert / Broschiert Automatentheorie, Informatik / Didaktik, Methodik, Algebra, Algorithmen und Datenstrukturen, Software Engineering, Theoretische Informatik, AbstractStateMac… Mehr…
Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - neues Buch
2000, ISBN: 3540675302
2000 Kartoniert / Broschiert Automatentheorie, Informatik / Didaktik, Methodik, Algebra, Algorithmen und Datenstrukturen, Software Engineering, Theoretische Informatik, AbstractStateMac… Mehr…
2000, ISBN: 9783540675303
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2000
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Algebraic Methodology and Software Technology
EAN (ISBN-13): 9783540675303
ISBN (ISBN-10): 3540675302
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin
564 Seiten
Gewicht: 0,842 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-11-06T00:04:05+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-11-17T08:18:16+01:00 (Zurich)
ISBN/EAN: 9783540675303
ISBN - alternative Schreibweisen:
3-540-67530-2, 978-3-540-67530-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: may, ruß, rues, rus
Titel des Buches: city 2000, algebraic methodology software technology, iowa city, proceedings the international conference methodologies, 1816
Daten vom Verlag:
Autor/in: Teodor Rus
Titel: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Verlag: Springer; Springer Berlin
545 Seiten
Erscheinungsjahr: 2000-05-03
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XI, 545 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Abstract State Machines; Algebraic Methods; Algebraic State Machines; Formal Methods; Java; Mathematical Software Construction; Process Algebras; Program Semantics; Software Design; Software Development; Unified Modeling Language (UML); algebra; concurrency; formal method; Theory of Computation; Data Structures and Information Theory; Algebra; Computer Science Logic and Foundations of Programming; Software Engineering; Formal Languages and Automata Theory; Algorithmen und Datenstrukturen; Informationstheorie; Algebra; Software Engineering; EA
Education Day.- Invited Talk: A Software Engineering Program of Lasting Value (Abstract).- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract).- Technical Meetings.- Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract).- Step by Step to Histories.- Distance Functions for Defaults in Reactive Systems.- Generalizing the Modal and Temporal Logic of Linear Time.- Process Algebra versus Axiomatic Specification of a Real-Time Protocol.- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.- Algebraic State Machines.- Meta Languages in Algebraic Compilers.- Random Access to Abstract Data Types.- A Monad for Basic Java Semantics.- A Global Semantics for Views.- Analysis of Downward Closed Properties of Logic Programs.- Invited Talk: ASM Formalware in the Software Engineering Cycle.- Process Calculi for Coordination: From Linda to JavaSpaces.- The Algebra of Multi-tasking.- A Causal Semantics for Timed Default Concurrent Constraint Programming.- Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl.- Message Authentication through Non Interference.- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.- An ASM Semantics for UML Activity Diagrams.- Approximate Bisimilarity.- Time and Probability in Process Algebra.- A Modal Logic for Klaim.- Kleene under a Demonic Star.- Pointwise Relational Programming.- Towards a Toolkit for Actor System Specification.- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.- The Extensibility of Maude’s Module Algebra.- A Reuse-Oriented Framework for Hierarchical Specifications.-MIX(FL): A Kernel Language of Mixin Modules.- Behavioural Subtyping Relations for Object-Oriented Formalisms.- Applying Category Theory to Derive Engineering Software from Encoded Knowledge.- A New Logic for Electronic Commerce Protocols.- Extended Institutions for Testing.- Testing from Structured Algebraic Specifications.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...