- 5 Ergebnisse
Kleinster Preis: € 88,80, größter Preis: € 108,99, Mittelwert: € 98,75
1
Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - Oliver Boldt
Bestellen
bei hive.co.uk
£ 80,33
(ca. € 95,48)
Bestellen
Details und Versand
gesponserter Link
Oliver Boldt:

Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - neues Buch

2000, ISBN: 9783540454991

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at… Mehr…

No. 9783540454991. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
Algebraic Methodology and Software Technology - Teodor Rus
Bestellen
bei Springer.com
€ 88,80
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Teodor Rus:

Algebraic Methodology and Software Technology - neues Buch

ISBN: 9783540454991

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
3
Algebraic Methodology and Software Technology
Bestellen
bei Hugendubel.de
€ 108,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Algebraic Methodology and Software Technology - neues Buch

2000

ISBN: 9783540454991

Algebraic Methodology and Software Technology ab 108.99 € als pdf eBook: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings. Aus dem Bereich: eBook… Mehr…

  - Nr. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
4
Algebraic Methodology and Software Technology
Bestellen
bei eBook.de
€ 96,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Algebraic Methodology and Software Technology - neues Buch

2000, ISBN: 9783540454991

Algebraic Methodology and Software Technology - 8th International Conference AMAST 2000 Iowa City Iowa USA May 20-27 2000 Proceedings: ab 96.49 € eBooks > Fachthemen & Wissenschaft > Math… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 103,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Teodor Rus:
Algebraic Methodology and Software Technology - neues Buch

2003, ISBN: 9783540454991

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
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:

9783540454991

Detailangaben zum Buch - Algebraic Methodology and Software Technology


EAN (ISBN-13): 9783540454991
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-01-21T21:03:57+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-09-22T15:40:00+02:00 (Vienna)
ISBN/EAN: 9783540454991

ISBN - alternative Schreibweisen:
978-3-540-45499-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: technology technology, international conference software

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: 2003-06-26
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XI, 545 p.

EA; E107; eBook; Nonbooks, PBS / 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; C; Theory of Computation; Data Structures and Information Theory; Algebra; Computer Science Logic and Foundations of Programming; Software Engineering; Formal Languages and Automata Theory; Computer Science; Algorithmen und Datenstrukturen; Informationstheorie; Algebra; Software Engineering; BC

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
< zum Archiv...