Logic in computer science: modelling and reasoning about systems 9780521656023, 0521656028

Logic in computer science: modelling and reasoning about systems [2nd ed] 052154310X, 9780521543101

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies world

394 9 3MB Read more

Modelling computer systems: mathematics of computer science 9781848003224, 9781848003217, 1848003218

We have all experienced delays and frustrations as a result of the notorious 'computer glitch.' However, the m

717 108 15MB Read more

Linear logic in computer science 9780521608572, 0521608570

437 17 2MB Read more

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) 3030878813, 9783030878818

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the t

111 106 3MB Read more

Dialog Systems: A Perspective from Language, Logic and Computation (Logic, Argumentation & Reasoning, 22) 3030614379, 9783030614379

112 27 6MB Read more

Fuzzy Logic Applications in Computer Science and Mathematics 9781394174539

98 3 7MB Read more

Essential Logic for Computer Science 9780262350723, 9780262039185

486 27 15MB Read more

New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems (Logic, Argumentation & Reasoning, 23) 3030700836, 9783030700836

This book intends to unite studies in different fields related to the development of the relations between logic, law an

113 66 8MB Read more

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science) 3031433653, 9783031433658

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railwa

104 24 17MB Read more

Computer Performance Evaluation: Modelling Techniques and Tools (Lecture Notes in Computer Science, 1469) 3540649492, 9783540649496

The need to evaluate computer and communication systems performance and dependability is continuously growing as a conse

121 94 Read more