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
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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 129 b
52.69 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

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 36.49 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Jeu/jouet Jeu
common.buy 10.99 €
Chuť ticha Štefánia Baranová / Livre Livre relié
common.buy 14.89 €
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.89 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Livre Livre de poche
common.buy 14.99 €
Agba Nwa-nnụnụ Parọt David E. McAdams / Livre Livre de poche
common.buy 11.89 €
Bientôt
La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev / Livre Livre de poche
common.buy 34.09 €
Poppy Playtime Amis pour la mort Virgile Iscan / Livre Livre de poche
common.buy 17.59 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Livre Livre de poche
common.buy 17.95 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Livre Livre de poche
common.buy 6.99 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Livre Livre relié
common.buy 23.49 €
Ensayos filosóficos y políticos Cristóbal Montes / Livre Livre de poche
common.buy 30.39 €
Iliade Omero / Livre Livre de poche
common.buy 15.79 €
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Livre Livre de poche
common.buy 37.29 €
Top
Dřevěné kostky Cars ve světě Disney - Pixar / Jeu/jouet Jouet
common.buy 16.39 €
Mein Tierspaß Rebecca Schmalz / Livre Livre Concertina
common.buy 12.00 €
Ballando Francesca Giraudo / Livre Livre de poche
common.buy 13.59 €
Miasto gangów Czeszumski Łukasz / Livre Livre de poche
common.buy 11.39 €
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Livre Livre de poche
common.buy 12.59 €
Memospiel Mein erstes Memo / Jeu/jouet Jeu
common.buy 11.39 €
Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann / Livre Livre de poche
common.buy 26.99 €
Death Magnetic Metallica / Audio CD Audio
common.buy 26.19 €
Solitudini e I Luoghi Marianna Piani / Livre Livre de poche
common.buy 13.89 €
Psychopatologia życia codziennego Marzenia senne Sigmund Freud / Livre Livre de poche
common.buy 26.49 €

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 pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes 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 59.79 €
Clouds in the Wind: A Passionately Told Story of Danger, Love and Tragdey MR Ian George MacKenzie / Livre Livre de poche
common.buy 17.29 €
Contextualism, Factivity and Closure Stefano Leardi / Livre Livre de poche
common.buy 53.79 €
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Livre Livre relié
common.buy 107.29 €
Taste Danilo Mandic / Livre Livre de poche
common.buy 25.99 €
Jealous Lion: Finds Friends Pattie Thomas / Livre Livre de poche
common.buy 18.19 €
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Livre Livre de poche
common.buy 13.49 €
Exploring Translation in Language Learning Malgorzata Smentek / Livre Livre relié
common.buy 89.39 €
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.79 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Livre Livre de poche
common.buy 10.69 €
Where the Path Breaks Charles Norris Williamson / Livre Livre relié
common.buy 34.79 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Livre Livre de poche
common.buy 20.09 €
Connect the Dots MR Don G Ford / Livre Livre de poche
common.buy 9.79 €
Bosch Reconstructed Paul / Livre Livre de poche
common.buy 29.39 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Livre Livre de poche
common.buy 107.29 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Livre Livre de poche
common.buy 108.59 €
In & Oz Steve Tomasula / Livre Livre relié
common.buy 21.29 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Livre Livre relié
common.buy 94.49 €
Alan E F Benson / Livre Livre de poche
common.buy 24.09 €
Usborne Stargazing Book Sam Smith / Livre Livre relié
common.buy 6.99 €
Six Principles for Building a Truly Inclusive School Toni R. Barton / Livre Livre relié
common.buy 215.89 €
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Livre Livre de poche
common.buy 46.69 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / Livre numérique Adobe ePub DRM
common.buy 13.69 €
Made Easy Rose Publishing / Livre Livre de poche
common.buy 7.39 €

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 ?