A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Introduction to Process Algebra

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Introduction to Process Algebra Wan Fokkink
Libristo kód: 01653571
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2010
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Teljes leírás
? points 133 b
19 426 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Könyv Puha kötésű
common.buy 13 471 Ft
Iliade Omero / Könyv Puha kötésű
common.buy 8 229 Ft
Blancanieves Equipo Editorial / Könyv Puha kötésű
common.buy 861 Ft
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Könyv Puha kötésű
common.buy 13 775 Ft
LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE / Könyv Puha kötésű
common.buy 7 911 Ft
Agba Nwa-nnụnụ Parọt David E. McAdams / Könyv Puha kötésű
common.buy 4 409 Ft
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / E-könyv Adobe ePub DRM
common.buy 5 063 Ft
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Könyv Kemény kötésű
common.buy 8 100 Ft
Chuť ticha Štefánia Baranová / Könyv Kemény kötésű
common.buy 5 035 Ft
Poppy Playtime Amis pour la mort Virgile Iscan / Könyv Puha kötésű
common.buy 6 057 Ft
Monster Loving Maniacs, Bildergalerie, 200 Teile / Játék Játék
common.buy 3 268 Ft
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Könyv Puha kötésű
common.buy 4 639 Ft
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Könyv Puha kötésű
common.buy 6 245 Ft
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Könyv Puha kötésű
common.buy 2 582 Ft
Toplistás
Dřevěné kostky Cars ve světě Disney - Pixar / Játék Játék
common.buy 5 606 Ft
Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann / Könyv Puha kötésű
common.buy 9 849 Ft
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Könyv Puha kötésű
common.buy 5 909 Ft
Hamarosan
La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev / Könyv Puha kötésű
common.buy 11 676 Ft
Ensayos filosóficos y políticos Cristóbal Montes / Könyv Puha kötésű
common.buy 10 378 Ft
Solitudini e I Luoghi Marianna Piani / Könyv Puha kötésű
common.buy 5 109 Ft
Death Magnetic Metallica / Hanganyagok Audio CD
common.buy 9 605 Ft
Chimeres Gabily / Könyv Könyv
common.buy 4 934 Ft
Mein Tierspaß Rebecca Schmalz / Könyv Leporelló
common.buy 4 570 Ft
Ballando Francesca Giraudo / Könyv Puha kötésű
common.buy 4 975 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Introduction to Process Algebra
Szerző Wan Fokkink
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 168
EAN 9783642085840
ISBN 3642085849
Libristo kód 01653571
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 284
Méretek 155 x 235 x 10

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Matematika és természettudomány > Matematika > Algebra
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Információtechnológia: általános jellegű
Számítástechnika és információtechnológia > Üzleti alkalmazások
Számítástechnika és információtechnológia > Számítógépes hardver
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Constructivism in Mathematics Troelstra / Könyv Puha kötésű
common.buy 21 875 Ft
Made Easy Rose Publishing / Könyv Puha kötésű
common.buy 2 614 Ft
Exploring Translation in Language Learning Malgorzata Smentek / Könyv Kemény kötésű
common.buy 32 865 Ft
New Zealand: The Ultimate New Zealand Travel Guide By A Traveler For A Traveler: The Best Travel Tips; Where To Go, What To See And Lost Travelers / Könyv Puha kötésű
common.buy 3 604 Ft
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Könyv Puha kötésű
common.buy 3 940 Ft
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Könyv Puha kötésű
common.buy 7 387 Ft
Connect the Dots MR Don G Ford / Könyv Puha kötésű
common.buy 3 604 Ft
Bosch Reconstructed Paul / Könyv Puha kötésű
common.buy 10 815 Ft
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Könyv Puha kötésű
common.buy 39 520 Ft
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Könyv Puha kötésű
common.buy 25 276 Ft
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Könyv Puha kötésű
common.buy 4 961 Ft
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-könyv Adobe ePub DRM
common.buy 4 671 Ft
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Könyv Puha kötésű
common.buy 17 121 Ft
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Könyv Puha kötésű
common.buy 40 003 Ft
In & Oz Steve Tomasula / Könyv Kemény kötésű
common.buy 7 562 Ft
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Könyv Kemény kötésű
common.buy 32 050 Ft
Alan E F Benson / Könyv Puha kötésű
common.buy 8 188 Ft
Through a Canadian Periscope Julie H. Ferguson / Könyv Puha kötésű
common.buy 8 128 Ft
Christmas in My Heart Joe L. Wheeler / Könyv Puha kötésű
common.buy 4 423 Ft
Where the Path Breaks Charles Norris Williamson / Könyv Kemény kötésű
common.buy 12 771 Ft
Modern Greece, Two Lectures: With Papers On The Progress Of Greece And Byron In Greece (1880) Richard Claverhouse Jebb / Könyv Puha kötésű
common.buy 9 881 Ft
I Think Vs I Am Sudarshan R. Iyengar / Könyv Puha kötésű
common.buy 18 216 Ft
introduction to early Welsh John Strachan / Könyv Puha kötésű
common.buy 9 149 Ft
Toplistás Olcsón
Expanding Universe. The Hubble Space Telescope - Multilingual (English, French, German) Owen Edwards / Könyv Kemény kötésű
common.buy 8 141 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?