Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications, Paperback/Gerard O\'Regan

Descriere YEO:

Concise Guide to Formal Methods: - Disponibil la elefant.ro

Pe YEO găsești Concise Guide to Formal Methods: de la Springer, în categoria Foreign Books.

Indiferent de nevoile tale, Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications, Paperback/Gerard O\'Regan din categoria Foreign Books îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.

Preț: 376.99 Lei

Caracteristicile produsului Concise Guide to Formal Methods:

• Brand: Springer
• Categoria: Foreign Books
• Magazin: elefant.ro
• Ultima actualizare: 05-06-2021 22:09:24

Comandă Concise Guide to Formal Methods: Online, Simplu și Rapid

Prin intermediul platformei YEO, poți comanda Concise Guide to Formal Methods: de la elefant.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.

Descriere magazin:
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle\'s syllogistic logic and the logic of the Stoics, through Boole\'s symbolic logic,