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: 19928 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

19 928 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Arcangeles Angela Grace

Paperback

3 800 Ft

Il Piano del Traffico Sostenibile Andrea Petrocchi

Paperback

14 722 Ft

Tarzan of the Apes Edgar Rice Burroughs

Paperback

5 665 Ft

Sledujeme počasí

Stationery items

4 665 Ft

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

Paperback

9 996 Ft

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

Sheet

2 041 Ft

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Paperback

6 340 Ft

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Paperback

8 687 Ft

Kader Kuyusu Mehmed Uzun

Paperback

5 077 Ft

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

Game

11 200 Ft

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

Paperback

16 480 Ft

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

Audio CD

8 437 Ft

Whistleblowing Rut Groneberg

Paperback

48 839 Ft

Der nützliche Freund Ulrich Wickert

Paperback

4 929 Ft

Introducao Ao Calculo Lambda Chris Hankin

Paperback

8 497 Ft

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

Paperback

9 099 Ft

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Paperback

6 280 Ft

Die Deportation der Juden aus Berlin Akim Jah

Hardback

20 340 Ft

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

Paperback

2 596 Ft

Contes des fees Robert de Bonni

Paperback

4 549 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.