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.44 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Boek Gebonden (paperback)
common.buy 34.80 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Spel/speelgoed Spel
common.buy 9.78 €
Chuť ticha Štefánia Baranová / Boek Gebonden (harde band)
common.buy 13.01 €
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.32 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Boek Gebonden (paperback)
common.buy 14.32 €
Agba Nwa-nnụnụ Parọt David E. McAdams / Boek Gebonden (paperback)
common.buy 11.29 €
Wordt verwacht
La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev / Boek Gebonden (paperback)
common.buy 32.99 €
Poppy Playtime Amis pour la mort Virgile Iscan / Boek Gebonden (paperback)
common.buy 16.84 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Boek Gebonden (paperback)
common.buy 16.14 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Boek Gebonden (paperback)
common.buy 6.75 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Boek Gebonden (harde band)
common.buy 23.00 €
Ensayos filosóficos y políticos Cristóbal Montes / Boek Gebonden (paperback)
common.buy 29.35 €
Iliade Omero / Boek Gebonden (paperback)
common.buy 14.82 €
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Boek Gebonden (paperback)
common.buy 35.61 €
Dřevěné kostky Cars ve světě Disney - Pixar / Spel/speelgoed Speelgoed
common.buy 15.83 €
Mein Tierspaß Rebecca Schmalz / Boek Leporello (harmonicaboek)
common.buy 10.28 €
Ballando Francesca Giraudo / Boek Gebonden (paperback)
common.buy 13.01 €
Miasto gangów Czeszumski Łukasz / Boek Gebonden (paperback)
common.buy 10.89 €
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Boek Gebonden (paperback)
common.buy 12.10 €
Memospiel Mein erstes Memo / Spel/speelgoed Spel
common.buy 8.97 €
Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann / Boek Gebonden (paperback)
common.buy 25.52 €
Death Magnetic Metallica / Audio Audio cd
common.buy 25.22 €
Solitudini e I Luoghi Marianna Piani / Boek Gebonden (paperback)
common.buy 13.31 €
Psychopatologia życia codziennego Marzenia senne Sigmund Freud / Boek Gebonden (paperback)
common.buy 25.62 €

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.01 €
Clouds in the Wind: A Passionately Told Story of Danger, Love and Tragdey MR Ian George MacKenzie / Boek Gebonden (paperback)
common.buy 16.64 €
Contextualism, Factivity and Closure Stefano Leardi / Boek Gebonden (paperback)
common.buy 51.55 €
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Boek Gebonden (harde band)
common.buy 102.71 €
Taste Danilo Mandic / Boek Gebonden (paperback)
common.buy 24.91 €
Jealous Lion: Finds Friends Pattie Thomas / Boek Gebonden (paperback)
common.buy 17.45 €
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Boek Gebonden (paperback)
common.buy 13.01 €
Exploring Translation in Language Learning Malgorzata Smentek / Boek Gebonden (harde band)
common.buy 85.66 €
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.37 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Boek Gebonden (paperback)
common.buy 10.28 €
Where the Path Breaks Charles Norris Williamson / Boek Gebonden (harde band)
common.buy 33.49 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Boek Gebonden (paperback)
common.buy 19.26 €
Connect the Dots MR Don G Ford / Boek Gebonden (paperback)
common.buy 9.37 €
Bosch Reconstructed Paul / Boek Gebonden (paperback)
common.buy 28.24 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Boek Gebonden (paperback)
common.buy 102.71 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Boek Gebonden (paperback)
common.buy 106.55 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Boek Gebonden (harde band)
common.buy 90.50 €
Alan E F Benson / Boek Gebonden (paperback)
common.buy 23.10 €
Usborne Stargazing Book Sam Smith / Boek Gebonden (harde band)
common.buy 6.95 €
Six Principles for Building a Truly Inclusive School Toni R. Barton / Boek Gebonden (harde band)
common.buy 243.78 €
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Boek Gebonden (paperback)
common.buy 44.99 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-book Adobe ePub DRM
common.buy 13.21 €
Made Easy Rose Publishing / Boek Gebonden (paperback)
common.buy 7.46 €
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Boek Gebonden (paperback)
common.buy 61.64 €

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?