Fundraising September 15, 2024 – October 1, 2024 About fundraising

A Survey of Verification Techniques for Parallel Programs

Main
Computers - Programming
A Survey of Verification Techniques for...

A Survey of Verification Techniques for Parallel Programs

Howard Barringer (auth.)

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Computers - Programming

Year:

1985

Edition:

1

Publisher:

Springer-Verlag Berlin Heidelberg

Language:

english

Pages:

120

ISBN 10:

3540152393

ISBN 13:

9783540152392

Series:

Lecture Notes in Computer Science 191

File:

DJVU, 781 KB

IPFS:

,

english, 1985

This book isn't available for download due to the complaint of the copyright holder

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

You may be interested in

C. A. R. Hoare, C. B. Jones — Essays in Computing Science (Prentice-Hall International Series in Computer Science)

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

K. Mani Chandy, Jayadev Misra — Parallel Program Design: A Foundation

Nissim Francez — Program Verification

David Gries (ed.) — Programming Methodology: A Collection of Articles by Members of IFIP WG2.3

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers — Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Per Brinch Hansen (Editor) — The Origin of Concurrent Programming From Semaphores to Remote Procedure Calls

W. H. J. Feijen, A. J. M. van Gasteren (auth.) — On a Method of Multiprogramming

Cliff B. Jones, Jayadev Misra — Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.) — Theories of Programming: The Life and Works of Tony Hoare

W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, (eds.) — Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra

Pierre Flener (auth.) — Logic Program Synthesis from Incomplete Information

Krzysztof R. Apt, Ernst-Rüdiger Olderog — Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog — Verification of sequential and concurrent programs

Jonathan P. Bowen, Zhiming Liu, Zili Zhang — Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Ruzica Piskac, Philipp Rümmer — Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Krzysztof R. Apt (auth.), Bernhard Möller (eds.) — Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Most frequently terms