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.

displaying 1 to 6 | at end