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.
An edition of Algebraic Methodology and Software Technology
(2000)
Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science)
1 edition
by Teodor Rus
Share
×Close
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
| 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
|
zzzz
|
|
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
|
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
|
aaaa
|
Book Details
First Sentence
"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."
The Physical Object
Edition Identifiers
Work Identifiers
Excerpts
added anonymously.
Community Reviews (0)
Lists
See All
| October 17, 2023 | Edited by ImportBot | import existing book |
| July 28, 2014 | Edited by ImportBot | import new book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 4, 2010 | Edited by WorkBot | add more information to works |
| December 9, 2009 | Created by WorkBot | add works page |