Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Digital
ISBN: 9783540489290 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Programming --- Computer. Automation --- informatica --- programmeren (informatica) --- programmeertalen --- software engineering
ISBN: 9783540489283 3540489282 3540489290 Year: 2006 Publisher: Berlin ; New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Formal methods (Computer science) --- Méthodes formelles (Informatique) --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Special Purpose and Application-Based Systems. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Special purpose computers --- Computers --- Informatics --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Compilers (Computer programs). --- Computers, Special purpose. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Book
ISBN: 9783540489290 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
st This volume contains the main proceedings for ISoLA 2004, the 1 Inter- tional Symposium on Leveraging Applications of Formal Methods held in - phos (Cyprus) October-November 2004. Besides the 12 papers in this volume, other ISoLA 2004 contributions were selected for thematical special issues of the international journals of Theoretical Computer Science (TCS-B), Software Tools for Technolgoy Transfer (STTT), as well as Integrated Design and Process Science (SDPS transactions). ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the speci?cation, analysis, veri?cation, certi?cation, constr- tion, test, and maintenance of systems from the point of view of their di?erent application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineeringand in other disciplines,and of fosteringand exploiting synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In particular, by providing a venue for the discussion of common problems, requirements, al- rithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, ?exibility, and e?ciency of tools for building systems, and users in their search for adequate solutions to their problems.
Computer science --- Programming --- Computer. Automation --- informatica --- programmeren (informatica) --- programmeertalen --- software engineering
| Listing 1 - 3 of 3 |
Sort by
|