Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logics for Concurrency

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

Structure versus Automata

Faron Moller

Graham Birtwistle

Sprache

Englisch

Buch Broschur

Libristo-Code: 01566096

Verlag Springer, Berlin, November 1995

This book presents five tutorial-style lectures on various approaches to the problem of verifying di... Vollständige Beschreibung

Libristo-Code: 01566096

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Arcangeles Angela Grace

Broschur

10.29 €

Il Piano del Traffico Sostenibile Andrea Petrocchi

Broschur

39.79 €

Tarzan of the Apes Edgar Rice Burroughs

Broschur

15.29 €

Sledujeme počasí

Papier- und Schreibwaren

13.59 €

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

Broschur

29.09 €

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

Blatt

5.99 €

Gra Whot Playmobil

binding.

7.59 €

I Love Winter (Tamil Book for Kids) Kidkiddos Books

Broschur

16.39 €

Mein Nieders Chsisches Skizzenbuch Hermann Löns

Broschur

24.90 €

Kader Kuyusu Mehmed Uzun

Broschur

13.69 €

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

Spiel

32.89 €

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

Broschur

47.99 €

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

Audio CD

22.79 €

Whistleblowing Rut Groneberg

Broschur

120.89 €

Der nützliche Freund Ulrich Wickert

Broschur

14.00 €

Introducao Ao Calculo Lambda Chris Hankin

Broschur

22.99 €

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

Broschur

26.69 €

Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse

Broschur

17.95 €

Die Deportation der Juden aus Berlin Akim Jah

Hardcover

54.00 €

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

Broschur

6.99 €

Contes des fees Robert de Bonni

Broschur

12.29 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logics for Concurrency

Autor Faron Moller, Graham Birtwistle

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 268

EAN 9783540609155

ISBN 3540609156

Libristo-Code 01566096

Verlag Springer, Berlin

Gewicht 404

Abmessungen 155 x 233 x 15

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Client-Server-Netzwerke

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert