Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Introduction to Process Algebra

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Introduction to Process Algebra Wan Fokkink
Libristo kod: 01653571
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinac 2010
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Cijeli opis
? points 122 b
50.62 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Knjiga Meki uvez
common.buy 34.93 €
Poppy Playtime Amis pour la mort Virgile Iscan / Knjiga Meki uvez
common.buy 16.39 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Knjiga Meki uvez
common.buy 16.19 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Knjiga Meki uvez
common.buy 6.77 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Knjiga Tvrdi uvez
common.buy 22.06 €
Solitudini e I Luoghi Marianna Piani / Knjiga Meki uvez
common.buy 13.36 €
Iliade Omero / Knjiga Meki uvez
common.buy 14.47 €
Bad Romance, T3 : Coeurs imprudents Céline Mancellon / Knjiga Meki uvez
common.buy 13.66 €
Ensayos filosóficos y políticos Cristóbal Montes / Knjiga Meki uvez
common.buy 28.04 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Knjiga Meki uvez
common.buy 15.58 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Igra/Igračka Igra
common.buy 8.60 €
Chuť ticha Štefánia Baranová / Knjiga Tvrdi uvez
common.buy 13.46 €
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / E-knjiga Adobe ePub DRM
common.buy 13.56 €
Novo
Agba Nwa-nnụnụ Parọt David E. McAdams / Knjiga Meki uvez
common.buy 11.33 €
Psychopatologia życia codziennego Marzenia senne Sigmund Freud / Knjiga Meki uvez
common.buy 20.14 €
BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack / Knjiga Meki uvez
common.buy 12.14 €
Mein Tierspaß Rebecca Schmalz / Knjiga Leporelo
common.buy 10.32 €
Ballando Francesca Giraudo / Knjiga Meki uvez
common.buy 13.05 €
Miasto gangów Czeszumski Łukasz / Knjiga Meki uvez
common.buy 9.61 €
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Knjiga Meki uvez
common.buy 12.14 €
Memospiel Mein erstes Memo / Igra/Igračka Igra
common.buy 9.00 €
Death Magnetic Metallica / Audio Audio CD
common.buy 25.31 €
Top
Dřevěné kostky Cars ve světě Disney - Pixar / Igra/Igračka Igračka
common.buy 15.18 €
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Knjiga Meki uvez
common.buy 35.74 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Introduction to Process Algebra
Autor Wan Fokkink
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 168
EAN 9783642085840
ISBN 3642085849
Libristo kod 01653571
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 284
Dimenzije 155 x 235 x 10

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Constructivism in Mathematics Troelstra / Knjiga Meki uvez
common.buy 58.22 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Knjiga Meki uvez
common.buy 10.32 €
Routledge Handbook of the Politics of Brexit Patrick Diamond / Knjiga Meki uvez
common.buy 72.19 €
Contextualism, Factivity and Closure Stefano Leardi / Knjiga Meki uvez
common.buy 51.73 €
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Knjiga Tvrdi uvez
common.buy 103.07 €
Taste Danilo Mandic / Knjiga Meki uvez
common.buy 23.99 €
Jealous Lion: Finds Friends Pattie Thomas / Knjiga Meki uvez
common.buy 17.51 €
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Knjiga Meki uvez
common.buy 13.05 €
Exploring Translation in Language Learning Malgorzata Smentek / Knjiga Tvrdi uvez
common.buy 85.96 €
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 / Knjiga Meki uvez
common.buy 9.41 €
Where the Path Breaks Charles Norris Williamson / Knjiga Tvrdi uvez
common.buy 33.61 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Knjiga Meki uvez
common.buy 19.33 €
Connect the Dots MR Don G Ford / Knjiga Meki uvez
common.buy 9.41 €
Bosch Reconstructed Paul / Knjiga Meki uvez
common.buy 28.34 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Knjiga Meki uvez
common.buy 103.07 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Knjiga Meki uvez
common.buy 105.10 €
In & Oz Steve Tomasula / Knjiga Tvrdi uvez
common.buy 19.43 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Knjiga Tvrdi uvez
common.buy 86.06 €
Alan E F Benson / Knjiga Meki uvez
common.buy 21.96 €
Usborne Stargazing Book Sam Smith / Knjiga Tvrdi uvez
common.buy 6.67 €
Six Principles for Building a Truly Inclusive School Toni R. Barton / Knjiga Tvrdi uvez
common.buy 209.30 €
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Knjiga Meki uvez
common.buy 45.15 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-knjiga Adobe ePub DRM
common.buy 12.55 €
Made Easy Rose Publishing / Knjiga Meki uvez
common.buy 6.67 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?