Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logics for Concurrency

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

Structure versus Automata

Faron Moller

Graham Birtwistle

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01566096

Nakladateľstvo Springer, Berlin, november 1995

This book presents five tutorial-style lectures on various approaches to the problem of verifying di... Celý popis

Libristo kód: 01566096

125 b

51.68 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Arcangeles Angela Grace

Brožovaná

9.40 €

Il Piano del Traffico Sostenibile Andrea Petrocchi

Brožovaná

36.41 €

Tarzan of the Apes Edgar Rice Burroughs

Brožovaná

14.05 €

Sledujeme počasí

Papierenský tovar

10.71 €

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

Brožovaná

28.21 €

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

List

5.55 €

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Brožovaná

14.96 €

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Brožovaná

22.35 €

Kader Kuyusu Mehmed Uzun

Brožovaná

13.14 €

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

Hra

31.55 €

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

Brožovaná

46.32 €

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

Audio CD

22.04 €

Whistleblowing Rut Groneberg

Brožovaná

116.52 €

Der nützliche Freund Ulrich Wickert

Brožovaná

12.63 €

Introducao Ao Calculo Lambda Chris Hankin

Brožovaná

21.13 €

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

Brožovaná

25.58 €

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Brožovaná

16.18 €

Die Deportation der Juden aus Berlin Akim Jah

Pevná

48.14 €

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

Brožovaná

6.77 €

Contes des fees Robert de Bonni

Brožovaná

11.72 €

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.