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

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

(author)
£83.50
Hardback 220 Pages / Published: 30/03/2001
  • 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: 9780387950921
Number of pages: 220
Weight: 1110 g
Dimensions: 235 x 155 x 14 mm
Edition: 2001 ed.

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Coaching Agile Teams
Added to basket
Agile Product Management with Scrum
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
User Story Mapping
Added to basket
£27.99
Paperback
TestNG Beginner's Guide
Added to basket
The Agile Samurai
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Continuous Delivery
Added to basket
£44.49
Hardback
Refactoring
Added to basket
£47.99
Hardback
Designing Data-Intensive Applications
Added to basket
Art of Agile Development
Added to basket
Management 3.0
Added to basket
£40.49
Paperback
Impact Mapping
Added to basket
£9.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.