Explore Books on
logics and meanings of programs

1-24 of 468 Books

Cover of Evaluation of Novel Approaches to Software Engineering by leszek a. maciaszek

Evaluation of Novel Approaches to Software Engineering

By Leszek A. Maciaszek

Cover of Information and Communication Technologies in Education, Research, and Industrial Applications by vadim ermolayev,heinrich c. mayr,mykola nikitchenko

Information and Communication Technologies in Education, Research, and Industrial Applications

By Vadim Ermolayev,Heinrich C. Mayr,Mykola Nikitchenko

Cover of Reachability Problems by parosh aziz abdulla,igor potapov

Reachability Problems

By Parosh Aziz Abdulla,Igor Potapov

Cover of Membrane Computing by marian gheorghe,grzegorz rozenberg,arto salomaa,petr sosík,claudio zandron

Membrane Computing

By Marian Gheorghe,Grzegorz Rozenberg,Arto Salomaa,Petr Sosík,Claudio Zandron

Cover of Logical Foundations of Computer Science by sergei artemov

Logical Foundations of Computer Science

By Sergei Artemov

Cover of Language and Automata Theory and Applications by adrian-horia dediu

Language and Automata Theory and Applications

By Adrian-Horia Dediu

Cover of Formal Techniques for Safety-Critical Systems by cyrille artho,peter csaba ölveczky

Formal Techniques for Safety-Critical Systems

By Cyrille Artho,Peter Csaba Ölveczky

Cover of Trends in Functional Programming by jurriaan hage,jay mccarthy

Trends in Functional Programming

By Jurriaan Hage,Jay McCarthy

Cover of Formal methods for components and objects by frank s. de boer,marcello m. bonsangue,susanne graf,willem-paul de roever

Formal methods for components and objects

By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

Cover of Fundamentals of Software Engineering by farhad arbab

Fundamentals of Software Engineering

By Farhad Arbab

Cover of Graph Structures for Knowledge Representation and Reasoning by madalina croitoru

Graph Structures for Knowledge Representation and Reasoning

By Madalina Croitoru

Cover of Theory and Practice of Computation by shin-ya nishizaki

Theory and Practice of Computation

By Shin-ya Nishizaki

Cover of Process Mining by wil m. p. van der aalst

Process Mining

By Wil M. P. van der Aalst

Cover of Relational and Algebraic Methods in Computer Science by uli fahrenberg,peter jipsen,michael winter

Relational and Algebraic Methods in Computer Science

By Uli Fahrenberg,Peter Jipsen,Michael Winter

Cover of Logic and Its Applications by mohua banerjee,krishna s.

Logic and Its Applications

By Mohua Banerjee,Krishna S.

Cover of Logic for Programming, Artificial Intelligence, and Reasoning by ken mcmillan,aart middeldorp,andrei voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan,Aart Middeldorp,Andrei Voronkov

Cover of Stabilization, Safety, and Security of Distributed Systems by teruo higashino,yoshiaki katayama,toshimitsu masuzawa,maria potop-butucaru,masafumi yamashita

Stabilization, Safety, and Security of Distributed Systems

By Teruo Higashino,Yoshiaki Katayama,Toshimitsu Masuzawa,Maria Potop-Butucaru,Masafumi Yamashita

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

By Andrea Bondavalli,Felicita Di Giandomenico

Cover of Descriptional Complexity of Formal Systems by jeffrey shallit,alexander okhotin

Descriptional Complexity of Formal Systems

By Jeffrey Shallit,Alexander Okhotin

Cover of Dag Prawitz on Proofs and Meaning by heinrich wansing

Dag Prawitz on Proofs and Meaning

By Heinrich Wansing

Cover of Relational and Algebraic Methods in Computer Science by wolfram kahl

Relational and Algebraic Methods in Computer Science

By Wolfram Kahl

Cover of Formal Aspects of Component Software by farhad arbab

Formal Aspects of Component Software

By Farhad Arbab

Cover of Theory and Applications of Models of Computation by manindra agrawal

Theory and Applications of Models of Computation

By Manindra Agrawal

Cover of NASA Formal Methods by julia m. badger,kristin yvonne rozier

NASA Formal Methods

By Julia M. Badger,Kristin Yvonne Rozier