Verifying Concurrent Processes Using Temporal Logic By B. T. Hailpern

Category

Computer programming / softwar

Store

Wordery

Brand

Springer berlin heidelberg

Verifying Concurrent Processes Using Temporal Logic : Springer : 9783540112051 : 3540112057 : 01 Mar 1982

44.99 GBP

Recommendations

Wordery

Apache Cookbook By Ken A. L. Coar, Richard Cooper Bowen 9780596529949

35.99 GBP

Wordery

El Juego De Autoevaluación Ágil By Ben Linders 9789492119278

15.79 GBP

Wordery

Pro PowerShell for Database Developers By Cafferky, Bryan P.

54.99 GBP

Wordery

Hadoop MapReduce v2 Cookbook - By Thilina Gunarathne 9781783285471

39.99 GBP

Wordery

ASP.NET For Beginners By Tim Warren 9781761033001 (Hardback)

19.99 GBP

Wordery

How Cybersecurity Really Works By Sam Grubb 9781718501287 (Paperback)

35.99 GBP

Wordery

Refactoring at Scale By Maude Lemaire 9781492075530 (Paperback)

52.99 GBP

Wordery

Verifying Concurrent Processes Using Temporal Logic By B. T. Hailpern

44.99 GBP

Wordery

Computer Networking By Richie Miller 9781839381591 (Paperback)

19.99 GBP

Wordery

Android Application Development for the Intel¬ Platform 9781484201015

23.5 GBP

Wordery

ASP.NET For Beginners By Tim Warren 9781761030239 (Paperback)

11.99 GBP

Choose your language and region

Klarna is available around the world with a variable offering, choose one that suits you best.