Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logics for Concurrency

Structure versus Automata

Limba englezăengleză
Carte Carte broșată
Carte Logics for Concurrency Faron Moller
Codul Libristo: 01566096
Editura Springer, Berlin, noiembrie 1995
This book presents five tutorial-style lectures on various approaches to the problem of verifying di... Descrierea completă
? points 125 b
270.90 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Arcangeles Angela Grace / Carte Carte broșată
common.buy 54.63 lei
Il Piano del Traffico Sostenibile Andrea Petrocchi / Carte Carte broșată
common.buy 211.05 lei
Tarzan of the Apes Edgar Rice Burroughs / Carte Carte broșată
common.buy 81.27 lei
Sledujeme počasí / Articole de papetărie Articole de papetărie
common.buy 68.89 lei
Curând
Réussir l’épreuve écrite d’histoire, géographie, enseignement moral et civique - CRPE - Nouveau concours 2022 Rabot Carte Carte broșată
common.buy 146.53 lei
Curând
Služba představených v církvi Michelina Tenace / Carte Foaie
common.buy 30.07 lei
I Love Winter (Tamil Book for Kids) Kidkiddos Books / Carte Carte broșată
common.buy 86.89 lei
Mein Nieders Chsisches Skizzenbuch Hermann Löns / Carte Carte broșată
common.buy 117.28 lei
Kader Kuyusu Mehmed Uzun / Carte Carte broșată
common.buy 72.84 lei
Arabischer Maler um 730 - Bodenfresko aus Qasr al-Hayr al-Gharbî, Syrien, Gäa - 1.000 Teile (Puzzle) / Joc / Jucărie Joc
common.buy 165.16 lei
Forma del despido y vicisitudes procesales BIDON Y VIGIL DE QUIÑONES / Carte Carte broșată
common.buy 220.21 lei
Zar Und Zimmermann Prey/Hofmann/Böhme/Jacobeit/Koetsier/SO / Audio Audio CD
common.buy 115.51 lei
Whistleblowing Rut Groneberg / Carte Carte broșată
common.buy 721.02 lei
Der nützliche Freund Ulrich Wickert / Carte Carte broșată
common.buy 66.49 lei
Introducao Ao Calculo Lambda Chris Hankin / Carte Carte broșată
common.buy 122.28 lei
New Pathways in the Professional Development of Teachers. Neue Wege in der Professionalisierung von Lehrer/-inne/-n Tomás Janík / Carte Carte broșată
common.buy 134.14 lei
Heilermarkt und Patienten im fruhneuzeitlichen Europa Eric Kresse / Carte Carte broșată
common.buy 89.70 lei
Die Deportation der Juden aus Berlin Akim Jah / Carte Copertă tare
common.buy 299.93 lei
Gesetz uber die Statistik fur Bundeszwecke (Bundesstatistikgesetz - BStatG) Ohne Autor / Carte Carte broșată
common.buy 35.27 lei
Contes des fees Robert de Bonni / Carte Carte broșată
common.buy 61.29 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logics for Concurrency
Autor Faron Moller, Graham Birtwistle
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 268
EAN 9783540609155
ISBN 3540609156
Codul Libristo 01566096
Editura Springer, Berlin
Greutatea 404
Dimensiuni 155 x 233 x 15

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer networking & communications > Client–Server networking
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Autonomous Vessels in Maritime Affairs Tafsir Matin Johansson / Carte Carte broșată
common.buy 724.35 lei
Treasure Island Stevenson / Carte Copertă tare
common.buy 60.25 lei
Aqueous Solutions of Simple Electrolytes Felix Franks / Carte Carte broșată
common.buy 270.90 lei
Biorobotics Barbara Webb / Carte Carte broșată
common.buy 71.28 lei
Campus Ministry Donald G. Shockley / Carte Carte broșată
common.buy 128.94 lei
Triangular Tabs for Supersonic Jet Control Arun Kumar P. / Carte Carte broșată
common.buy 419.62 lei
Practical Guide to Human Cancer Genetics Eamonn R. Maher / Carte Carte broșată
common.buy 297.54 lei
Post Office Directory of Norfolk & Suffolk Er Kelly / Carte Copertă tare
common.buy 251.85 lei
Russian Mass Media Directory Volume 1 Strategic Information and Contacts INC. IBP / Carte Carte broșată
common.buy 455.32 lei
Finding Courage Victoria Michele Rembert / Carte Carte broșată
common.buy 116.76 lei
Learn to Read Greek in 5 Days Georgios Papadakis / Carte Carte broșată
common.buy 70.03 lei
Grassland Productivity and Ecosystem Services John Hodgson / Carte Copertă tare
common.buy 824.89 lei
Write Your Book...: In Less Than 7 Days The Village Carpenter / Carte Carte broșată
common.buy 334.59 lei
Tongues of Fire Devotional Whitaker House / Carte Carte broșată
common.buy 75.65 lei
Lifestyle Evangelism: "The Missing Link in the American Church" Alan J Burns / Carte Carte broșată
common.buy 47.03 lei
PowerShell Mark Reed / Carte Copertă tare
common.buy 108.54 lei
Frank Furness Alan Hess / Carte Carte broșată
common.buy 187.84 lei
Lost Frontier Rod Miller / E-book Adobe ePub DRM
common.buy 94.07 lei
David Busch's Canon EOS R6 II Guide to Digital Slr Photography David Busch / Carte Carte broșată
common.buy 215.01 lei
Surveillance or Security? Susan Landau / Carte Carte broșată
common.buy 110.72 lei
Slavery Ordained of God F. A. (Frederick Augustus) Ross / Carte Carte broșată
common.buy 47.45 lei
Briefs Encountered Julian Clary / Carte Carte broșată
common.buy 145.17 lei
Geordie Sinatra Fiona Evans / Carte Carte broșată
common.buy 87.52 lei
Oxford Phonics World Readers: Level 1: What I Want Kathryn O´Dell / Carte Carte broșată
common.buy 56.09 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?