Cliff Jones: przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (55)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.)

Rok:

2021

Język:

english

Plik:

PDF, 12.99 MB

5.0 / 0

english, 2021

2

Out of the Blue Too

Out of the Blue Too

Ian Cowie, Dim Jones, Chris Long, Cliff Spink

Rok:

2014

Język:

english

Plik:

EPUB, 2.72 MB

0 / 5.0

english, 2014

3

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 4.94 MB

0 / 0

english, 2006

4

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 2.02 MB

0 / 0

english, 2005

5

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Association for Computing Machinery

Cliff B. Jones, Jayadev Misra

Rok:

2021

Język:

english

Plik:

PDF, 12.99 MB

5.0 / 0

english, 2021

6

Communications of the ACM - April 2022

Communications of the ACM - April 2022

Cliff Jones, Jayadev Misra

Rok:

2022

Język:

english

Plik:

PDF, 13.35 MB

5.0 / 0

english, 2022

7

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 2.38 MB

0 / 0

english, 2005

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 5.37 MB

0 / 0

english, 2007

9

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 4.29 MB

0 / 0

english, 2007

10

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 5.29 MB

0 / 0

english, 2009

11

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Rok:

2020

Język:

english

Plik:

EPUB, 291 KB

4.0 / 1.0

english, 2020

12

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 3.73 MB

0 / 0

english, 2010

13

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Rok:

2020

Język:

english

Plik:

AZW3 , 964 KB

4.0 / 1.0

english, 2020

14

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 6.60 MB

0 / 0

english, 2007

15

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 7.82 MB

0 / 0

english, 2007

16

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

EPUB, 291 KB

0 / 0

english, 2020

17

Systematic Software Development Using VDM

Systematic Software Development Using VDM

Rok:

1990

Język:

english

Plik:

PDF, 969 KB

0 / 5.0

english, 1990

18

The Living History Anthology: Perspectives from ALHFAM

The Living History Anthology: Perspectives from ALHFAM

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst

Rok:

2019

Język:

english

Plik:

EPUB, 2.54 MB

0 / 5.0

english, 2019

19

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 13.80 MB

0 / 5.0

english, 2011

20

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 7.62 MB

0 / 0

english, 2009

21

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Rok:

2020

Język:

english

Plik:

MOBI , 937 KB

0 / 0

english, 2020

22

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

MOBI , 937 KB

4.0 / 0

english, 2020

23

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

FB2 , 1.28 MB

4.0 / 0

english, 2020

24

The Living History Anthology

The Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst,

Rok:

2018

Język:

english

Plik:

PDF, 6.90 MB

0 / 0

english, 2018

25

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Rok:

2020

Język:

english

Plik:

FB2 , 1.28 MB

4.0 / 0

english, 2020

26

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

AZW3 , 964 KB

4.0 / 0

english, 2020

27

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Rok:

2020

Język:

english

Plik:

LIT , 770 KB

4.0 / 0

english, 2020

28

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

LIT , 769 KB

0 / 0

english, 2020

29

Understanding Programming Languages

Understanding Programming Languages

Rok:

2021

Język:

english

Plik:

PDF, 2.16 MB

0 / 5.0

english, 2021

30

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

PDF, 2.16 MB

0 / 0

english, 2020

31

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 7.64 MB

0 / 0

english, 2009

32

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Rok:

1978

Język:

english

Plik:

PDF, 14.97 MB

0 / 0

english, 1978

33

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Rok:

2020

Język:

english

Plik:

PDF, 2.15 MB

0 / 0

english, 2020

34

Understanding Programming Languages

Understanding Programming Languages

Rok:

2020

Język:

english

Plik:

PDF, 2.15 MB

0 / 0

english, 2020

35

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Springer International Publishing

Cliff Jones, Ji Wang, Naijun Zhan

Rok:

2018

Język:

english

Plik:

PDF, 9.62 MB

0 / 0

english, 2018

36

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 3.96 MB

0 / 0

english, 2010

37

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 5.19 MB

0 / 0

english, 2012

38

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 5.20 MB

0 / 0

english, 2009

39

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Springer International Publishing

Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.)

Rok:

2014

Język:

english

Plik:

PDF, 13.77 MB

0 / 0

english, 2014

40

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 4.60 MB

0 / 0

english, 2006

41

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard, Cristina Gacek, Cliff Jones

Rok:

2005

Język:

english

Plik:

PDF, 2.17 MB

0 / 0

english, 2005

42

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.)

Rok:

1996

Język:

english

Plik:

PDF, 5.11 MB

0 / 0

english, 1996

43

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Rok:

1978

Język:

english

Plik:

DJVU, 1.81 MB

0 / 0

english, 1978

44

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 6.90 MB

0 / 0

english, 2005

45

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Rok:

1987

Język:

english

Plik:

DJVU, 4.46 MB

0 / 0

english, 1987

46

Proof in VDM: Case Studies

Proof in VDM: Case Studies

Springer-Verlag London

John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)

Rok:

1998

Język:

english

Plik:

PDF, 11.02 MB

0 / 0

english, 1998

47

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

Rok:

1996

Język:

english

Plik:

DJVU, 3.39 MB

0 / 0

english, 1996

48

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 13.97 MB

0 / 0

english, 2011

49

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Rok:

1987

Język:

english

Plik:

PDF, 11.36 MB

0 / 0

english, 1987

50

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 7.74 MB

0 / 0

english, 2012