Algebraic Methodology and Software Technology - Info and Reading Options

The Open Library:

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>

Search for “Algebraic Methodology and Software Technology” downloads:

Visit our Downloads Search page to see if downloads are available.

Borrow "Algebraic Methodology and Software Technology" Online:

Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.

• Is Online Borrowing Available: Yes
• Preview Status: full
• Check if available: The Open Library & The Internet Archive

Find “Algebraic Methodology and Software Technology” in Libraries Near You:

Read or borrow “Algebraic Methodology and Software Technology” from your local library.

• The WorldCat Libraries Catalog: Find a copy of “Algebraic Methodology and Software Technology” at a library near you.