Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Logics for Concurrency

Name: Logics for Concurrency
Brand: Springer, Berlin
SKU: 01566096
Price: 51.53 EUR
Availability: InStock
Author: Faron Moller
ISBN: 9783540609155

Structure versus Automata

Faron Moller

Graham Birtwistle

Language

English

Book Paperback

Libristo code: 01566096

Publishers Springer, Berlin, November 1995

This book presents five tutorial-style lectures on various approaches to the problem of verifying di... Full description

Libristo code: 01566096

125 b

51.53 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Arcangeles Angela Grace

Paperback

9.87 €

Il Piano del Traffico Sostenibile Andrea Petrocchi

Paperback

38.22 €

Tarzan of the Apes Edgar Rice Burroughs

Paperback

14.72 €

Sledujeme počasí

Stationery items

13.10 €

Réussir l’épreuve écrite d’histoire, géographie, enseignement moral et civique - CRPE - Nouveau concours 2022 Rabot Book

Paperback

28.13 €

Služba představených v církvi Michelina Tenace

Sheet

5.74 €

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Paperback

15.73 €

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Paperback

22.28 €

Kader Kuyusu Mehmed Uzun

Paperback

13.10 €

Arabischer Maler um 730 - Bodenfresko aus Qasr al-Hayr al-Gharbî, Syrien, Gäa - 1.000 Teile (Puzzle)

Game

31.46 €

Forma del despido y vicisitudes procesales BIDON Y VIGIL DE QUIÑONES

Paperback

46.19 €

Zar Und Zimmermann Prey/Hofmann/Böhme/Jacobeit/Koetsier/SO

Audio CD

21.98 €

Whistleblowing Rut Groneberg

Paperback

116.19 €

Der nützliche Freund Ulrich Wickert

Paperback

12.60 €

Introducao Ao Calculo Lambda Chris Hankin

Paperback

22.18 €

New Pathways in the Professional Development of Teachers. Neue Wege in der Professionalisierung von Lehrer/-inne/-n Tomás Janík

Paperback

25.51 €

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Paperback

16.13 €

Die Deportation der Juden aus Berlin Akim Jah

Hardback

48.00 €

Gesetz uber die Statistik fur Bundeszwecke (Bundesstatistikgesetz - BStatG) Ohne Autor

Paperback

6.75 €

Contes des fees Robert de Bonni

Paperback

11.69 €

This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with anemphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.