Check nearby libraries
Buy this book
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings
Author: Teodor Rus
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67530-3
DOI: 10.1007/3-540-45499-3
Table of Contents:
- Invited Talk: A Software Engineering Program of Lasting Value (Abstract)
- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)
- 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
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Algebraic Methodology and Software Technology: Proceedings of the Third International Conference on Algebraic Methodology and Software ... Enschede, The Netherlands 21-25 June 1993
Dec 27, 2011, Springer
paperback
1447132289 9781447132288
|
aaaa
Libraries near you:
WorldCat
|
2
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
2003, Springer London, Limited
in English
3540454993 9783540454991
|
zzzz
Libraries near you:
WorldCat
|
3
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science)
June 8, 2000, Springer
Paperback
in English
- 1 edition
3540675302 9783540675303
|
bbbb
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... Enschede, The Netherlands 21-25 June 1993
The Physical Object
ID Numbers
Excerpts
Rather than treat formal methods solely as a separate subject to study, we should weave their use into the existing infrastructure of an undergraduate computer science curriculum.
added anonymously.
Community Reviews (0)
Feedback?History
- Created April 30, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
January 31, 2024 | Edited by ImportBot | import existing book |
April 30, 2020 | Created by ImportBot | Imported from amazon.com record |