A Practical Introduction to Psl 1st Edition  (English, Hardcover, Eisner Cindy)

A Practical Introduction to PSL is a comprehensive book for undergraduate students of Computer Science engineering. The book comprises chapters on basic temporal properties, the Boolean modeling, and computer-aided design. In addition, the book consists of several solved examples to understand the concepts better. This book is essential for students and professionals of Information Technology.

About Springer

Springer is one of world’s leading publishing houses. They develop and publish quality education books for various courses and competitive examinations in several fields of academics. These professional and educational books are compiled by experts and professionals in their respective fields. Some of the books published by Springer are Principles of Quantum Mechanics, Partial Differential Equations: Basic Theory, An Introduction to Laplace Transforms and Fourier Series, Fundamentals of Differential Geometry, and A First Course in Calculus.