Electronic Books

Total Books: 81 - 99 /99
978-3-540-68635-4
Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Continue reading
978-3-540-68524-1
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Continue reading
978-3-540-79124-9
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

Continue reading
978-1-4020-6340-4
The Codes of Life

Building on a range of disciplines – from biology and anthropology to philosophy and linguistics – this book draws on ...

Continue reading
978-3-030-59951-5
The Evolutionary Dynamics of Discursive Knowledge Communication-Theoretical Perspectives on an Empirical Philosophy of Science

This book have three themes have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; ...

Continue reading
978-3-540-88564-1
The Semantic Web - ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...

Continue reading
978-3-540-89704-0
The Semantic Web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...

Continue reading
978-3-540-71067-7
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

Continue reading
978-3-030-17462-0
Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

Continue reading
978-3-030-17465-1
Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

Continue reading
978-3-030-17502-3
Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

Continue reading
978-3-540-78800-3
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Continue reading
978-3-540-68103-8
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Continue reading
978-3-540-77426-6
Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Continue reading
978-1-4020-8468-3
Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...

Continue reading
978-1-84800-017-9
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Continue reading
978-3-540-69149-5
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Continue reading
978-3-540-87873-5
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Continue reading
978-3-540-79230-7
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

Continue reading
Total Books: 81 - 99 /99