Comments Off on Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
Language: English
Pages: 612
ISBN: 0521895561
Format: PDF / Kindle (mobi) [...]
Comments Off on An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
Peter Smith
Language: English
Pages: 375
ISBN: B01LWN1GB2
Format: PDF [...]