search for books and compare prices
Tim Denvir has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783662480922 Cover for 9780387585550 Cover for 9783540197522 Cover for 9780387197883 Cover for 9780387197524
cover image for 9783662480922
Product Description: The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net...read more
By Tim Denvir (trans)

Hardcover:

9783662480922 | Springer-Verlag New York Inc, November 11, 2015, cover price $29.99 | About this edition: The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri.

cover image for 9783540197522
Product Description: Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy...read more
By Tim Denvir (editor)

Paperback:

9783540197522 | Springer Verlag, October 27, 1992, cover price $99.00 | About this edition: Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.

cover image for 9780387197883
Product Description: This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS)...read more

Paperback:

9780387197883 | Springer Verlag, October 1, 1992, cover price $59.00 | About this edition: This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS).

displaying 1 to 6 | at end