登入選單
Google圖書搜尋
Understanding Programming Languages
作者
Cliff B. Jones
出版Springer Nature, 2020-11-17
ISBN
9783030592578 / 303059257X
主題
Computers
Software Development
作者
Cliff B. Jones
出版Prentice Hall, 1980
ISBN
UCAL:B4318834
主題
Computer programming
Possible Values
作者
Cliff B. Jones / Ian Hayes
出版2015
ISBN
OCLC:930017998
主題
Computer multitasking
Mural
作者
Cliff B. Jones
出版London ; New York : Springer-Verlag, 1991
ISBN
038719651X / 9780387196510
主題
Mathematics
Systematic Software Development Using VDM
作者
Cliff B. Jones
出版1990
ISBN
UOM:39015017921332
主題
Computers
Building a Better Mousetrap
作者
Cliff B. Jones
出版1995
ISBN
3929318369 / 9783929318364
主題
Decision making
Formal Specification and Software Development
作者
Dines Bjørner / Cliff B. Jones
出版Prentice Hall International, 1982
ISBN
UOM:39015002090077
主題
Computers
Object Orientation with Parallelism and Persistenc...
作者
Burkhard Freitag / Cliff Jones / Christian Lengauer / Hans-Jörg Schek
出版Springer, 2011-09-27
ISBN
1461286255 / 9781461286257
主題
Computers
Development Methods for Computer Programs Includin...
作者
Cliff B. Jones
出版1982
ISBN
MINN:31951000598420Y
主題
Computer programming
Communicating Sequential Processes. The First 25 Y...
作者
Ali E. Abdallah
出版Springer Science & Business Media, 2005-05-03
ISBN
9783540258131 / 3540258132
主題
Computers
Dynamic Syntax: a Concept for the Definition of th...
作者
M. Berthaud / M. Griffiths / K. V. Hanford / C. B. Jones
出版1973
ISBN
OCLC:66406329
Understanding Programming Language Concepts Via Op...
作者
Cliff B. Jones / University of Newcastle upon Tyne. Computing Science
出版2007
ISBN
OCLC:175283330
主題
Programming languages (Electronic computers)
Programming Languages and Their Definition. Chicht...
作者
Hans Bekic / Cliff B. Jones
出版1984
ISBN
OCLC:859814711
Towards a Mechanisation of a Logic that Copes with...
作者
Cliff B. Jones / Matthew J. Lovert / L. Jason Steggles / University of Newcastle upon Tyne. Computing Science
出版2012
ISBN
OCLC:790259708
Abstraction as a Unifying Link for Formal Approach...
作者
Cliff B. Jones / University of Newcastle upon Tyne. Computing Science
出版2012
ISBN
OCLC:806437564
How to Say why (in AI4FM)
作者
Leo Freitas / Cliff B. Jones / Andrius Velykis / Iain Whiteside / University of Newcastle upon Tyne. Computing Science
出版2013
ISBN
OCLC:881080889
主題
Formal methods (Computer science)
Turing and Software Verification
作者
Cliff B. Jones
出版2014
ISBN
OCLC:908406157
主題
Computer software
Lessons from DEPLOYment
作者
Manuel Mazzara / Cliff B. Jones / Alexei Iliasov / University of Newcastle upon Tyne. Computing Science
出版2012
ISBN
OCLC:779582167
主題
B method (Computer science)
Theoretical Aspects of Computing - ICTAC 2007
作者
Cliff B. Jones
出版Springer Science & Business Media, 2007-09-12
ISBN
9783540752905 / 3540752900
主題
Computers
Computing Science
出版2015
ISBN
OCLC:932814012
Reasoning about Concurrent Programs
作者
Ian J. Hayes / Cliff B. Jones / Robert J. Colvin / University of Newcastle upon Tyne. Computing Science
出版2013
ISBN
OCLC:881080602
主題
Computer multitasking
A Semantic Analysis of Logics that Cope with Parti...
作者
Cliff B. Jones / Matthew J. Lovert / L. J. Steggles / University of Newcastle upon Tyne. Computing Science
出版2012
ISBN
OCLC:779582168
Balancing Expressiveness in Formal Approaches to C...
作者
Cliff B. Jones / University of Newcastle upon Tyne. Computing Science
出版2013
ISBN
OCLC:881064136
Tackling Separation Via Abstraction (with Proofs)
作者
Cliff B. Jones / Nisansala Yatapanage
出版2015
ISBN
OCLC:1064565610
主題
Software architecture
The Connection Between Two Ways of Reasoning about...
作者
J. S. Fitzgerald / Cliff B. Jones / University of Newcastle upon Tyne. Computing Science
出版2007
ISBN
OCLC:254631458
主題
Functions
Reasoning about Separation Using Abstraction and R...
作者
Cliff B. Jones / Nisansala Yatapanage
出版2015
ISBN
OCLC:913793472
Laws and Semantics for Rely-guarantee Refinement
作者
Ian J. Hayes / Cliff B. Jones / Robert J. Colvin / University of Newcastle upon Tyne. Computing Science
出版2014
ISBN
OCLC:894640760
主題
Computer multitasking
Formal Methods and Hybrid Real-Time Systems
作者
Cliff Jones / Zhiming Liu / Jim Woodcock
出版Springer, 2007-09-06
ISBN
354075220X / 9783540752202
主題
Computers
Revising Basic Theorem Proving Algorithms to Cope ...
作者
Cliff B. Jones / Matthew J. Lovert / L. J. Steggles / University of Newcastle upon Tyne. Computing Science
出版2014
ISBN
OCLC:881126622
Comments on Several Years of Teaching of Modelling...
作者
J. W. Coleman / N. P. Jefferson / Cliff B. Jones / University of Newcastle upon Tyne. Computing Science
出版2006
ISBN
OCLC:500048511