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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Introduction to Process Algebra

Limba englezăengleză
Carte Copertă tare
Carte Introduction to Process Algebra Wan Fokkink
Codul Libristo: 01567116
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, decembrie 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Descrierea completă
? points 141 b
306.29 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Carte Carte
common.buy 332.92 lei
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Carte Carte broșată
common.buy 79.66 lei
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Materiale tipărite Hartă
common.buy 49.39 lei
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Carte Copertă tare
common.buy 92.45 lei
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Carte Carte broșată
common.buy 54.18 lei
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Carte Carte broșată
common.buy 53.97 lei
Velebím Kaylene Brown / Carte Copertă tare
common.buy 80.18 lei
Krisen meistern Daniela Landgraf / E-book Adobe ePub DRM
common.buy 69.05 lei
Top
Po stopách vlka Cami Wolf / Carte Carte broșată
common.buy 66.87 lei
Leftin
HUDEBNÍ KVÍZY Martin Vozar / Carte Carte broșată
common.buy 30.57 lei
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Carte Carte broșată
common.buy 122.61 lei
A rút kiskacsa + 6 darab puzzle / Carte Cărți pliante
common.buy 22.56 lei
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Carte Carte broșată
common.buy 126.88 lei
Raclette Borut Golob / Carte Carte broșată
common.buy 46.58 lei
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Carte Copertă tare
common.buy 452.42 lei
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Carte Carte broșată
common.buy 186.68 lei
corazon del lider Jon Byler / Carte Carte broșată
common.buy 73.00 lei
Clara Viebig DIE PASSION Clara Viebig / Carte Carte broșată
common.buy 134.68 lei
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Carte Carte broșată
common.buy 139.05 lei
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Carte Carte broșată
common.buy 95.99 lei
St.-Johannis-Nachts-Traum William Shakespeare / Carte Carte broșată
common.buy 127.09 lei
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Carte Carte broșată
common.buy 120.84 lei
Jugendgewalt als soziales Problem Lisa Aberle / Carte Carte broșată
common.buy 139.05 lei
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Carte Carte broșată
common.buy 163.28 lei

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

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 Introduction to Process Algebra
Autor Wan Fokkink
Limba engleză
Legare Carte - Copertă tare
Data publicării 1999
Număr pagini 168
EAN 9783540665793
ISBN 354066579X
Codul Libristo 01567116
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 950
Dimensiuni 155 x 235 x 14

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Business applications
Computing & Information Technology > Computer hardware
Computing & Information Technology > Operating systems
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

Combinatorial Algorithms Jiri Fiala / Carte Carte broșată
common.buy 306.29 lei
Blossom Among Flowers Jay E Tria / Carte Carte broșată
common.buy 81.64 lei
Cities and Citizenship James Holston / Carte Carte broșată
common.buy 207.07 lei
Value-based Human Resource Strategy Laura Brown / Carte Carte broșată
common.buy 408.53 lei
Confessions of a Househusband Alan Tapley / Carte Carte broșată
common.buy 84.03 lei
Complete History of the Several Translations of the Holy Bible, and New Testament, Into English, Both in Ms. and in Print the Second Edition, with Lar John Lewis / Carte Carte broșată
common.buy 148.10 lei
Curând
Byzantine Art and Italian Panel Painting Jaroslav Folda / Carte Copertă tare
common.buy 758.51 lei
Ask Mr. Bear Marjorie Flack / Carte Copertă tare
common.buy 87.67 lei
Nelson Mandela Beatrice Gormley / Carte Carte broșată
common.buy 48.25 lei
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Carte Carte broșată
common.buy 83.61 lei
Human Induced Environmental Threats Rosemary Charles / Carte Copertă tare
common.buy 690.91 lei
Studies in Stanzas ROBERT HENRY NEWELL / Carte Carte broșată
common.buy 160.68 lei
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Carte Carte broșată
common.buy 89.64 lei
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Carte Carte broșată
common.buy 56.99 lei
Mathematical Finance M J Alhabeeb / Carte Copertă tare
common.buy 714.31 lei
Artful Experiments ERCHINGER PHILIPP / Carte Carte broșată
common.buy 245.34 lei
A Plea for Liberty Thomas Mackay / Carte Carte broșată
common.buy 146.22 lei
Seeley's Essentials of Anatomy and Physiology Patton / Carte Copertă tare
common.buy 599.90 lei
The Marquis She's Been Waiting For Ella Quinn / Carte Carte broșată
common.buy 77.27 lei
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Carte Carte broșată
common.buy 204.68 lei
Love Me for Who I Am Vol. 2 Kata Konayama / Carte Carte broșată
common.buy 59.38 lei
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Carte Carte broșată
common.buy 178.88 lei
Nature Neighbors - Dots Lines Spirals Coloring Book: New kind of stress relief coloring book for adults Dots And Lines Spirals Coloring Book / Carte Carte broșată
common.buy 42.22 lei
Sex With My Family Jessica Anne / Carte Carte broșată
common.buy 63.23 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?