DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Jonathan Bowen
Jonathan Bowen
August 2018 FACS a C T S
Online Communities: Visualization and Formalization
Facing the Challenge of Automated Negotiation with Humans
Engineering Trustcom/Bigdatase 2018
Towards Verified Systems
Current Issue of FACS FACTS
1 Publications
August 2014 FACS a C T S
When Shannon Met Turing
Interval Temporal Logic
Oral History of Sir Antony Hoare
Issue 2005 2 June 2005
Manifest Domains:Analysis and Description
Alan Turing: Virtuosity and Visualisation
Provably Correct Systems: Community, Connections, and Citations
Bowen, Jonathan P; Giannini, Tula; Ara, Rachel; Lomas, Andy and Siefring, Judith
FACS FACTS Newsletter We Present Announcements of Future Events of Commemoration
A Bibliography of Publications of Alan Mathison Turing
Top View
Alan Turing: Founder of Computer Science
Achievements, Open Problems and Challenges for Search Based Software Testing
BCS-FACS: a Report from the Trenches
Formal Specification and Documentation Using Z
Beyond Procos at Kiel: a Synopsis of Recent Research
FME Minutes (54Th Meeting)
FACS FACTS Newsletter
ZB 2000: Formal Specification and Development in Z and B
Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More Information
Vorträge Und Publikationen
SEFM 2010 the 8Th IEEE International Conference on SOFTWARE
Photographs of Strachey 100
FACS FACTS Issue 2016-1 March 2016 1
Enhancing Formal Modelling Tool Support with Increased Automation by Kenneth Lausdahl
The Rutherford Journal
Art and Information
Lecture Notes in Computer Science 1212 Edited by G
Ken Robinson Had Passed Away