Languages
Bowen, Jonathan P.
Overview
| Works: | 1 works in 7 publications in 1 languages | |
|---|---|---|
Titles
Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(Electronic resources)
Provably correct systems
by:
Bowen, Jonathan P.; Hinchey, Mike G.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(Electronic resources)
Formal methodsstate of the art and new directions /
by:
Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed.; SpringerLink (Online service)
(Electronic resources)
Museums and digital culturenew perspectives and research /
by:
Bowen, Jonathan P.; Giannini, Tula.; SpringerLink (Online service)
(Electronic resources)
Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(Electronic resources)
Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(Electronic resources)
Unifying theories of programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(1998 :); Bowen, Jonathan P.; SpringerLink (Online service); Zhu, Huibiao.
(Electronic resources)
Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(Electronic resources)
ZB 2000formal specification and development in Z and B: first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings /
by:
(1998 :); Bowen, Jonathan P.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Natural Language Processing (NLP)
Z (Computer program language)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computation by Abstract Devices.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
User Interfaces and Human Computer Interaction.
Models and Principles.
Embedded computer systems.
Computer security
The Computing Profession.
Artificial Intelligence.
Museums and the Internet.
B (Computer program language)
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Computer Appl. in Arts and Humanities.
Computer System Implementation.
Communication in museums.
Internet of things.
Cultural Heritage.