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
Our rough guess is there are 136,250 words in this book.
At a pace averaging 250 words per minute, this book will take 9 hours and 5 minutes to read. With a half hour per day, this will take 18 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Word Count
136,250 words, Guess
Page Count
545 pages
Physical Format
Paperback
Identifiers
- Internet Archivealgebraicmethodo00rust
- Internet Archivespringer_10.1007-3-540-45499-3
- ISBN-103540675302
- ISBN-139783540675303
- Goodreads4575917
and 2 more
- Library of Congress Control Number00032203
- Open LibraryOL9579695M
Description
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings<br />Author: Teodor Rus<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-67530-3<br /> DOI: 10.1007/3-540-45499-3<br /><br />Table of Contents:<p></p><ul><li>Invited Talk: A Software Engineering Program of Lasting Value (Abstract) </li><li>Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract) </li><li>Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract) </li><li>Step by Step to Histories </li><li>Distance Functions for Defaults in Reactive Systems </li><li>Generalizing the Modal and Temporal Logic of Linear Time </li><li>Process Algebra versus Axiomatic Specification of a Real-Time Protocol </li><li>Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software </li><li>Algebraic State Machines </li><li>Meta Languages in Algebraic Compilers </li><li>Random Access to Abstract Data Types </li><li>A Monad for Basic Java Semantics </li><li>A Global Semantics for Views </li><li>Analysis of Downward Closed Properties of Logic Programs </li><li>Invited Talk: ASM Formalware in the Software Engineering Cycle </li><li>Process Calculi for Coordination: From Linda to JavaSpaces </li><li>The Algebra of Multi-tasking </li><li>A Causal Semantics for Timed Default Concurrent Constraint Programming </li><li>Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl </li><li>Message Authentication through Non Interference</li></ul>
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.
Subjects
Topics
Other Editions
- Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science)
Similar Books
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!