Free delivery for orders over 69.99€

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 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Logics for Concurrency

Name: Logics for Concurrency
Brand: Springer, Berlin
SKU: 01566096
Price: 54.37 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

132 b

54.37 €

106.34 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Sheet

6.04 € 11.82 лв

Sledujeme počasí

Stationery items

14.67 € 28.70 лв

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

Paperback

29.10 € 56.91 лв

Arcangeles Angela Grace

Paperback

9.92 € 19.40 лв

Tarzan of the Apes Edgar Rice Burroughs

Paperback

14.73 € 28.80 лв

Il Piano del Traffico Sostenibile Andrea Petrocchi

Paperback

38.30 € 74.90 лв

Pink Bubbles Go Ape(2024 Remaster) Helloween

Audio CD

15.86 € 31.03 лв

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Paperback

15.71 € 30.72 лв

Contes des fees Robert de Bonni

Paperback

12.40 € 24.25 лв

Kader Kuyusu Mehmed Uzun

Paperback

13.85 € 27.08 лв

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

Game

33.18 € 64.89 лв

Il flauto magico da W. A. Mozart Pierre Coran

Hardback

17.93 € 35.07 лв

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

Paperback

48.58 € 95.02 лв

Whistleblowing Rut Groneberg

Paperback

144.21 € 282.05 лв

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

Audio CD

23.10 € 45.18 лв

Excursions Historiques En Anjou: Discours Prononce A La Distribution Des Prix Du Lycee d'Angers Lehugeur-P

Paperback

11.88 € 23.24 лв

Der nützliche Freund Ulrich Wickert

Paperback

13.43 € 26.27 лв

Introducao Ao Calculo Lambda Chris Hankin

Paperback

22.22 € 43.46 лв

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

Paperback

26.87 € 52.56 лв

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Paperback

17.10 € 33.45 лв

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Paperback

23.67 € 46.29 лв

Die Deportation der Juden aus Berlin Akim Jah

Hardback

50.91 € 99.57 лв

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

Paperback

7.08 € 13.84 лв

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.