Home Advanced Search
Advanced Search - Page 1
Provably Correct Systems
- English
- Year: 2017
- Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
- English
- Year: 2021
- Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
- EPUB
- English
- Year: 2021
- Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Real-Time Systems: Formal Specification and Automatic Verification
- English
- Year: 2008
- Author: Ernst-Rudiger Olderog, Henning Dierks
Champions. Starter. Student`s Book & Workbook
- English
- Author: Bowen P.
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
- English
- Year: 2017
- Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)
Hudson River Valley National Heritage Area: Heritage Site Guidebook
- English
- Year: 2011
- Author: Maurice D. Hinchey; Maurice D. Hinchey; Maurice D. Hinchey
The Unfolding Gospel: How the Good News Makes Sense of Discipleship, Church, Mission, and Everything Else
- EPUB
- English
- Year: 2021
- Author: John P. Bowen
