Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Introduction to Process Algebra

Langue AnglaisAnglais
Livre Livre de poche
Livre Introduction to Process Algebra Wan Fokkink
Code Libristo: 01653571
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, décembre 2010
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Description détaillée
? points 122 b
50.46 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Livre Livre de poche
common.buy 34.82 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Jeu/jouet Jeu
common.buy 9.18 €
Chuť ticha Štefánia Baranová / Livre Livre relié
common.buy 13.21 €
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / Livre numérique Adobe ePub DRM
common.buy 14.32 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Livre Livre de poche
common.buy 14.32 €
Agba Nwa-nnụnụ Parọt David E. McAdams / Livre Livre de poche
common.buy 11.30 €
Bientôt
La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev / Livre Livre de poche
common.buy 33.00 €
Poppy Playtime Amis pour la mort Virgile Iscan / Livre Livre de poche
common.buy 16.85 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Livre Livre de poche
common.buy 16.14 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Livre Livre de poche
common.buy 6.75 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Livre Livre relié
common.buy 23.01 €
Ensayos filosóficos y políticos Cristóbal Montes / Livre Livre de poche
common.buy 29.37 €
Iliade Omero / Livre Livre de poche
common.buy 14.83 €
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Livre Livre de poche
common.buy 35.62 €
Dřevěné kostky Cars ve světě Disney - Pixar / Jeu/jouet Jouet
common.buy 15.84 €
Mein Tierspaß Rebecca Schmalz / Livre Livre Concertina
common.buy 10.29 €
Ballando Francesca Giraudo / Livre Livre de poche
common.buy 13.01 €
Miasto gangów Czeszumski Łukasz / Livre Livre de poche
common.buy 10.89 €
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Livre Livre de poche
common.buy 12.10 €
Memospiel Mein erstes Memo / Jeu/jouet Jeu
common.buy 8.97 €
Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann / Livre Livre de poche
common.buy 25.53 €
Death Magnetic Metallica / Audio CD Audio
common.buy 25.23 €
Solitudini e I Luoghi Marianna Piani / Livre Livre de poche
common.buy 13.32 €
Psychopatologia życia codziennego Marzenia senne Sigmund Freud / Livre Livre de poche
common.buy 25.63 €

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 & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Introduction to Process Algebra
Auteur Wan Fokkink
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 168
EAN 9783642085840
ISBN 3642085849
Code Libristo 01653571
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 284
Dimensions 155 x 235 x 10

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Mathématiques et sciences > Mathématiques > Algèbre
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Technologies de l’information : questions générales
Informatique et technologies de l’information > Applications métiers
Informatique et technologies de l’information > Matériel informatique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Constructivism in Mathematics Troelstra / Livre Livre de poche
common.buy 58.04 €
Clouds in the Wind: A Passionately Told Story of Danger, Love and Tragdey MR Ian George MacKenzie / Livre Livre de poche
common.buy 16.65 €
Contextualism, Factivity and Closure Stefano Leardi / Livre Livre de poche
common.buy 51.57 €
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Livre Livre relié
common.buy 102.76 €
Taste Danilo Mandic / Livre Livre de poche
common.buy 24.92 €
Jealous Lion: Finds Friends Pattie Thomas / Livre Livre de poche
common.buy 17.45 €
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Livre Livre de poche
common.buy 13.01 €
Exploring Translation in Language Learning Malgorzata Smentek / Livre Livre relié
common.buy 85.70 €
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 / Livre Livre de poche
common.buy 9.38 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Livre Livre de poche
common.buy 10.29 €
Where the Path Breaks Charles Norris Williamson / Livre Livre relié
common.buy 33.51 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Livre Livre de poche
common.buy 19.27 €
Connect the Dots MR Don G Ford / Livre Livre de poche
common.buy 9.38 €
Bosch Reconstructed Paul / Livre Livre de poche
common.buy 28.26 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Livre Livre de poche
common.buy 102.76 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Livre Livre de poche
common.buy 106.59 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Livre Livre relié
common.buy 90.54 €
Alan E F Benson / Livre Livre de poche
common.buy 23.11 €
Usborne Stargazing Book Sam Smith / Livre Livre relié
common.buy 6.55 €
Six Principles for Building a Truly Inclusive School Toni R. Barton / Livre Livre relié
common.buy 243.88 €
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Livre Livre de poche
common.buy 45.01 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / Livre numérique Adobe ePub DRM
common.buy 13.21 €
Made Easy Rose Publishing / Livre Livre de poche
common.buy 7.06 €
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Livre Livre de poche
common.buy 59.35 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?