Opening book details…
Can I read Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th International Conference,AMAST 2004 on EtoBox?
Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th International Conference,AMAST 2004 by Charles Rattray, Savitri Maharaj, Carron Shankland, International conference on algebraic methodology and software technology, AMAST 2004 is a nonfiction available to read on EtoBox.
What is Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th International Conference,AMAST 2004 about?
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings Author: Charles Rattray, Savitri Maharaj, Carron Shankland Published by Springer Berlin Heidelberg ISBN: 978-3-540-22381-8 DOI: 10.1007/b98770 Table of Contents: Algebraic Approaches to Problem Generalisation A Science of Software Design Glass Box and Black Box Views of State-Based System Specifications Abstraction for Safety, Induction for Liveness Counting Votes with Formal Methods Agent-Oriented Programming: Where Do We Stand? On Guard: Producing Run-Time Checks from Integrity Constraints Behavioural Types and Component Adaptation Towards Correspondence Carrying Specifications Formalizing and Proving Semantic Relations between Specifications by Reflection Model-Checking Systems with Unbounded Variables without Abstraction A Generic Software Safety Document Generator Linear Temporal Logic and Z Refinement Formal JVM Code Analysis in JavaFAN Verifying a Sliding Window Protocol in μCRL State Space Reduction for Process Algebra Specifications A Hybrid Logic of Knowledge Supporting Topological Reasoning A Language for Configuring Multi-level
Who reads Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th International Conference,AMAST 2004?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Charles Rattray, Savitri Maharaj, Carron Shankland, International conference on algebraic methodology and software technology, AMAST 2004
- Publisher
- Springer Spektrum. in Springer-Verlag GmbH
- Published
- 2004
- Language
- EN
- ISBN
- 9783540223818
- Category
- nonfiction
- Subjects
- Science, Engineering, Programming
More by Charles Rattray, Savitri Maharaj, Carron Shankland, International conference on algebraic methodology and software technology, AMAST 2004
Similar books
- Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116) — Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (2004)
- Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science, 1816) — David L. Parnas, P. Eng (auth.), Teodor Rus (2000)
- Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, 5140) — Rajeev Alur (auth.), José Meseguer, Grigore Roşu (2008)
- Software Process: Principles, Methodology, and Technology (Lecture Notes in Computer Science (1500)) — Carlo Montangero (auth.), Jean-Claude Derniame, Badara Ali Kaba, David Wastell (1999)
- Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6486) — Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (2011)
- Combinatorial Image Analysis: 10th International Workshop, Iwcia 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings (lecture Notes In Computer Science) — Andrea Frosini, Maurice Nivat (auth.), Reinhard Klette, Joviša Žunić (2005)