Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logics for Concurrency

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

136 b

20 494 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kader Kuyusu Mehmed Uzun

Paperback

5 221 Ft

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

Sheet

2 099 Ft

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

Paperback

10 156 Ft

Arcangeles Angela Grace

Paperback

3 907 Ft

Pink Bubbles Go Ape(2024 Remaster) Helloween

Audio CD

5 797 Ft

Tarzan of the Apes Edgar Rice Burroughs

Paperback

5 825 Ft

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Paperback

6 216 Ft

Sledujeme počasí

Stationery items

5 145 Ft

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

Paperback

4 345 Ft

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

Paperback

2 656 Ft

Contes des fees Robert de Bonni

Paperback

4 678 Ft

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Paperback

8 933 Ft

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Paperback

6 458 Ft

Introducao Ao Calculo Lambda Chris Hankin

Paperback

8 738 Ft

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

Paperback

9 281 Ft

Il Piano del Traffico Sostenibile Andrea Petrocchi

Paperback

15 139 Ft

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

Audio CD

8 676 Ft

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

Paperback

16 919 Ft

Il flauto magico da W. A. Mozart Pierre Coran

Hardback

6 216 Ft

Der nützliche Freund Ulrich Wickert

Paperback

5 069 Ft

Whistleblowing Rut Groneberg

Paperback

50 134 Ft

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

Game

11 427 Ft

Die Deportation der Juden aus Berlin Akim Jah

Hardback

19 227 Ft

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.