Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Introduction to Process Algebra

Език Английски езикАнглийски език
Книга С меки корици
Книга Introduction to Process Algebra Wan Fokkink
Код Либристо: 01653571
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2010
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Цялото описание
? points 129 b
53.39 €
104.41  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Книга С меки корици
common.buy 36.97 € 72.31 лв
LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE / Книга С меки корици
common.buy 23.35 € 45.67 лв
Нови
Agba Nwa-nnụnụ Parọt David E. McAdams / Книга С меки корици
common.buy 11.34 € 22.17 лв
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Книга С меки корици
common.buy 37.80 € 73.93 лв
Iliade Omero / Книга С меки корици
common.buy 15.94 € 31.19 лв
Blancanieves Equipo Editorial / Книга С меки корици
common.buy 2.58 € 5.05 лв
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Книга С твърди корици
common.buy 23.97 € 46.88 лв
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Книга С меки корици
common.buy 7.09 € 13.87 лв
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Книга С меки корици
common.buy 17.14 € 33.51 лв
Poppy Playtime Amis pour la mort Virgile Iscan / Книга С меки корици
common.buy 17.86 € 34.93 лв
Monster Loving Maniacs, Bildergalerie, 200 Teile / Игра/играчка Игра
common.buy 9.83 € 19.23 лв
Chuť ticha Štefánia Baranová / Книга С твърди корици
common.buy 15.12 € 29.56 лв
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / E-книга Adobe ePub DRM
common.buy 14.96 € 29.26 лв
BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack / Книга С меки корици
common.buy 12.16 € 23.79 лв
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Книга С меки корици
common.buy 15.53 € 30.37 лв
Essai sur l'efficience des regimes internationaux Bouoli Roger Wilfried / Книга С меки корици
common.buy 81.97 € 160.32 лв
Ensayos filosóficos y políticos Cristóbal Montes / Книга С меки корици
common.buy 30.86 € 60.36 лв
Theodor Storm Gerd Eversberg / Книга С твърди корици
common.buy 15.79 € 30.88 лв
Solitudini e I Luoghi Marianna Piani / Книга С меки корици
common.buy 13.41 € 26.22 лв
Viaje a Nápoles MARQUES DE SADE / Книга С меки корици
common.buy 23.76 € 46.48 лв
Death Magnetic Metallica / Аудио Аудио компактдиск
common.buy 26.51 € 51.85 лв
Chimeres Gabily / Книга Книга
common.buy 14.65 € 28.65 лв
Mein Tierspaß Rebecca Schmalz / Книга Дипляна
common.buy 10.97 € 21.46 лв
Ballando Francesca Giraudo / Книга С меки корици
common.buy 13.10 € 25.61 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Introduction to Process Algebra
Автор Wan Fokkink
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 168
Баркод 9783642085840
ISBN 3642085849
Код Либристо 01653571
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 284
Размери 155 x 235 x 10

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Constructivism in Mathematics Troelstra / Книга С меки корици
common.buy 58.20 € 113.83 лв
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Книга С меки корици
common.buy 19.31 € 37.77 лв
Contextualism, Factivity and Closure Stefano Leardi / Книга С меки корици
common.buy 54.47 € 106.54 лв
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Taste Danilo Mandic / Книга С меки корици
common.buy 26.66 € 52.15 лв
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Книга С меки корици
common.buy 13.04 € 25.51 лв
Exploring Translation in Language Learning Malgorzata Smentek / Книга С твърди корици
common.buy 90.52 € 177.03 лв
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 / Книга С меки корици
common.buy 9.42 € 18.42 лв
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Книга С меки корици
common.buy 10.35 € 20.25 лв
Where the Path Breaks Charles Norris Williamson / Книга С твърди корици
common.buy 33.60 € 65.72 лв
Connect the Dots MR Don G Ford / Книга С меки корици
common.buy 9.42 € 18.42 лв
Bosch Reconstructed Paul / Книга С меки корици
common.buy 28.32 € 55.39 лв
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Книга С меки корици
common.buy 108.69 € 212.58 лв
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Книга С меки корици
common.buy 110.92 € 216.94 лв
In & Oz Steve Tomasula / Книга С твърди корици
common.buy 19.47 € 38.07 лв
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Книга С твърди корици
common.buy 90.88 € 177.74 лв
Alan E F Benson / Книга С меки корици
common.buy 23.19 € 45.36 лв
Through a Canadian Periscope Julie H. Ferguson / Книга С меки корици
common.buy 20.92 € 40.91 лв
Usborne Stargazing Book Sam Smith / Книга С твърди корици
common.buy 7.09 € 13.87 лв
Six Principles for Building a Truly Inclusive School Toni R. Barton / Книга С твърди корици
common.buy 209.36 € 409.48 лв
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Книга С меки корици
common.buy 45.20 € 88.41 лв
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-книга Adobe ePub DRM
common.buy 13.87 € 27.13 лв
Made Easy Rose Publishing / Книга С меки корици
common.buy 7.56 € 14.78 лв
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Книга С меки корици
common.buy 72.91 € 142.60 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?