Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Introduction to Process Algebra

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Introduction to Process Algebra Wan Fokkink
Libristo-code: 01653571
Uitgeverij 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... Volledige beschrijving
? points 122 b
50.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Boek Gebonden (paperback)
common.buy 34.93 €
LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE / Boek Gebonden (paperback)
common.buy 22.47 €
Nieuw
Agba Nwa-nnụnụ Parọt David E. McAdams / Boek Gebonden (paperback)
common.buy 11.33 €
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Boek Gebonden (paperback)
common.buy 35.74 €
Iliade Omero / Boek Gebonden (paperback)
common.buy 15.18 €
Blancanieves Equipo Editorial / Boek Gebonden (paperback)
common.buy 2.42 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Boek Gebonden (harde band)
common.buy 22.98 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Boek Gebonden (paperback)
common.buy 6.78 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Boek Gebonden (paperback)
common.buy 16.20 €
Poppy Playtime Amis pour la mort Virgile Iscan / Boek Gebonden (paperback)
common.buy 17.11 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Spel/speelgoed Spel
common.buy 9.81 €
Chuť ticha Štefánia Baranová / Boek Gebonden (harde band)
common.buy 14.27 €
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / E-book Adobe ePub DRM
common.buy 14.27 €
BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack / Boek Gebonden (paperback)
common.buy 12.14 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Boek Gebonden (paperback)
common.buy 15.59 €
Essai sur l'efficience des regimes internationaux Bouoli Roger Wilfried / Boek Gebonden (paperback)
common.buy 77.37 €
Ensayos filosóficos y políticos Cristóbal Montes / Boek Gebonden (paperback)
common.buy 29.46 €
Theodor Storm Gerd Eversberg / Boek Gebonden (harde band)
common.buy 15.79 €
Solitudini e I Luoghi Marianna Piani / Boek Gebonden (paperback)
common.buy 13.36 €
Viaje a Nápoles MARQUES DE SADE / Boek Gebonden (paperback)
common.buy 22.68 €
Death Magnetic Metallica / Audio Audio cd
common.buy 25.31 €
Chimeres Gabily / Boek Boek
common.buy 14.07 €
Mein Tierspaß Rebecca Schmalz / Boek Leporello (harmonicaboek)
common.buy 10.32 €
Ballando Francesca Giraudo / Boek Gebonden (paperback)
common.buy 13.06 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Introduction to Process Algebra
Auteur Wan Fokkink
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 168
EAN 9783642085840
ISBN 3642085849
Libristo-code 01653571
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 284
Afmetingen 155 x 235 x 10

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Algebra
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica: algemene onderwerpen
Informatica en informatietechnologie > Bedrijfsapplicaties
Informatica en informatietechnologie > Computer hardware
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Constructivism in Mathematics Troelstra / Boek Gebonden (paperback)
common.buy 58.23 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Boek Gebonden (paperback)
common.buy 19.33 €
Contextualism, Factivity and Closure Stefano Leardi / Boek Gebonden (paperback)
common.buy 51.75 €
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Boek Gebonden (harde band)
common.buy 103.10 €
Taste Danilo Mandic / Boek Gebonden (paperback)
common.buy 25.31 €
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Boek Gebonden (paperback)
common.buy 13.06 €
Exploring Translation in Language Learning Malgorzata Smentek / Boek Gebonden (harde band)
common.buy 85.98 €
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 / Boek Gebonden (paperback)
common.buy 9.41 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Boek Gebonden (paperback)
common.buy 10.32 €
Where the Path Breaks Charles Norris Williamson / Boek Gebonden (harde band)
common.buy 33.62 €
Connect the Dots MR Don G Ford / Boek Gebonden (paperback)
common.buy 9.41 €
Bosch Reconstructed Paul / Boek Gebonden (paperback)
common.buy 28.35 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Boek Gebonden (paperback)
common.buy 103.10 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Boek Gebonden (paperback)
common.buy 105.12 €
In & Oz Steve Tomasula / Boek Gebonden (harde band)
common.buy 19.44 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Boek Gebonden (harde band)
common.buy 90.84 €
Alan E F Benson / Boek Gebonden (paperback)
common.buy 23.18 €
Through a Canadian Periscope Julie H. Ferguson / Boek Gebonden (paperback)
common.buy 20.96 €
Usborne Stargazing Book Sam Smith / Boek Gebonden (harde band)
common.buy 7.08 €
Six Principles for Building a Truly Inclusive School Toni R. Barton / Boek Gebonden (harde band)
common.buy 209.34 €
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Boek Gebonden (paperback)
common.buy 45.16 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-book Adobe ePub DRM
common.buy 13.16 €
Made Easy Rose Publishing / Boek Gebonden (paperback)
common.buy 7.59 €
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Boek Gebonden (paperback)
common.buy 72.91 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?