🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
...
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range o...
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in Nov...
First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-ti...
Specification, Refinement, and Proof
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It exp...
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings
Second International Conference, Oxford, U.K., June 29-July 3, 1992 : Proceedings
"Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is m...
Theory and Applications
This book gives an overview of the research and application of speech technologies in different areas. One of the special characteristics of the book ...
7th International Colloquium, Natal, Rio Grande Do Norte, Brazil, September 1-3, 2010, Proceedings
Annotation. This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in...
Grammar and Concrete and Abstract Syntaxes (Version 2.0)