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: 20261 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 261 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 863 Ft

Il Piano del Traffico Sostenibile Andrea Petrocchi

Paperback

14 968 Ft

Tarzan of the Apes Edgar Rice Burroughs

Paperback

5 759 Ft

Sledujeme počasí

Stationery items

4 743 Ft

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

Paperback

10 145 Ft

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

Sheet

2 075 Ft

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Paperback

6 446 Ft

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Paperback

8 832 Ft

Kader Kuyusu Mehmed Uzun

Paperback

5 162 Ft

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

Game

11 387 Ft

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

Paperback

16 742 Ft

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

Audio CD

8 578 Ft

Whistleblowing Rut Groneberg

Paperback

49 655 Ft

Der nützliche Freund Ulrich Wickert

Paperback

5 011 Ft

Introducao Ao Calculo Lambda Chris Hankin

Paperback

8 639 Ft

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

Paperback

9 251 Ft

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Paperback

6 385 Ft

Die Deportation der Juden aus Berlin Akim Jah

Hardback

20 666 Ft

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

Paperback

2 640 Ft

Contes des fees Robert de Bonni

Paperback

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