Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Introduction to Process Algebra

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Introduction to Process Algebra Wan Fokkink
Libristo kód: 01653571
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2010
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Celý popis
? points 116 b
1 155 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Kniha Brožovaná
common.buy 794 Kč
LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE / Kniha Brožovaná
common.buy 543 Kč
Nové
Agba Nwa-nnụnụ Parọt David E. McAdams / Kniha Brožovaná
common.buy 257 Kč
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Kniha Brožovaná
common.buy 813 Kč
Iliade Omero / Kniha Brožovaná
common.buy 367 Kč
Blancanieves Equipo Editorial / Kniha Brožovaná
common.buy 59 Kč
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Kniha Pevná
common.buy 556 Kč
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Kniha Brožovaná
common.buy 156 Kč
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Kniha Brožovaná
common.buy 369 Kč
Poppy Playtime Amis pour la mort Virgile Iscan / Kniha Brožovaná
common.buy 414 Kč
Monster Loving Maniacs, Bildergalerie, 200 Teile / Hra/Hračka Hra
common.buy 223 Kč
Chuť ticha Štefánia Baranová / Kniha Pevná
common.buy 285 Kč
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / E-kniha Adobe ePub DRM
common.buy 345 Kč
BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack / Kniha Brožovaná
common.buy 279 Kč
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Kniha Brožovaná
common.buy 358 Kč
Essai sur l'efficience des regimes internationaux Bouoli Roger Wilfried / Kniha Brožovaná
common.buy 1 762 Kč
Ensayos filosóficos y políticos Cristóbal Montes / Kniha Brožovaná
common.buy 712 Kč
Theodor Storm Gerd Eversberg / Kniha Pevná
common.buy 362 Kč
Solitudini e I Luoghi Marianna Piani / Kniha Brožovaná
common.buy 309 Kč
Viaje a Nápoles MARQUES DE SADE / Kniha Brožovaná
common.buy 548 Kč
Death Magnetic Metallica / Audio Audio CD
common.buy 583 Kč
Chimeres Gabily / Kniha Kniha
common.buy 339 Kč
Mein Tierspaß Rebecca Schmalz / Kniha Leporelo
common.buy 234 Kč
Ballando Francesca Giraudo / Kniha Brožovaná
common.buy 299 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Introduction to Process Algebra
Autor Wan Fokkink
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 168
EAN 9783642085840
ISBN 3642085849
Libristo kód 01653571
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 284
Rozměry 155 x 235 x 10

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Algebra
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informační technologie: obecná témata
Výpočetní a informační technologie > Obchodní aplikace
Výpočetní a informační technologie > Počítačový hardware
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Constructivism in Mathematics Troelstra / Kniha Brožovaná
common.buy 1 350 Kč
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Kniha Brožovaná
common.buy 444 Kč
Contextualism, Factivity and Closure Stefano Leardi / Kniha Brožovaná
common.buy 1 182 Kč
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Kniha Pevná
common.buy 2 357 Kč
Taste Danilo Mandic / Kniha Brožovaná
common.buy 613 Kč
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Kniha Brožovaná
common.buy 299 Kč
Exploring Translation in Language Learning Malgorzata Smentek / Kniha Pevná
common.buy 1 969 Kč
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 / Kniha Brožovaná
common.buy 217 Kč
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Kniha Brožovaná
common.buy 237 Kč
Where the Path Breaks Charles Norris Williamson / Kniha Pevná
common.buy 772 Kč
Connect the Dots MR Don G Ford / Kniha Brožovaná
common.buy 217 Kč
Bosch Reconstructed Paul / Kniha Brožovaná
common.buy 650 Kč
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Kniha Brožovaná
common.buy 2 357 Kč
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Kniha Brožovaná
common.buy 2 399 Kč
In & Oz Steve Tomasula / Kniha Pevná
common.buy 442 Kč
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Kniha Pevná
common.buy 1 965 Kč
Alan E F Benson / Kniha Brožovaná
common.buy 502 Kč
Through a Canadian Periscope Julie H. Ferguson / Kniha Brožovaná
common.buy 475 Kč
Usborne Stargazing Book Sam Smith / Kniha Pevná
common.buy 139 Kč
Six Principles for Building a Truly Inclusive School Toni R. Barton / Kniha Pevná
common.buy 4 835 Kč
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Kniha Brožovaná
common.buy 1 041 Kč
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-kniha Adobe ePub DRM
common.buy 319 Kč
Made Easy Rose Publishing / Kniha Brožovaná
common.buy 162 Kč
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Kniha Brožovaná
common.buy 1 610 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?