Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Paperback)
  • Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Paperback)
zoom

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Paperback)

(author)
£64.99
Paperback 220 Pages / Published: 28/10/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461265221
Number of pages: 220
Weight: 361 g
Dimensions: 235 x 155 x 12 mm
Edition: Softcover reprint of the original 1st ed. 200

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Peopleware
Added to basket
£33.49
Paperback
Continuous Delivery
Added to basket
£44.49
Hardback
Coaching Agile Teams
Added to basket
Kanban
Added to basket
£33.55
Paperback
Design Patterns
Added to basket
£44.49
Hardback
Domain-Driven Design
Added to basket
£55.49
Hardback
User Stories Applied
Added to basket
£40.49
Paperback
Test Driven Development
Added to basket
Agile Product Management with Scrum
Added to basket
The Agile Culture
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback
Beyond Software Architecture
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.