[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Tools and Algorithms for the Construction and Analysis of Systems

Langue AnglaisAnglais
Livre Livre de poche
Livre Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margaria
Code Libristo: 05274560
Éditeurs Springer, Berlin, novembre 1995
This book presents the refereed proceedings of the Second International Workshop on Tools and Algori... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

L'Uniformes des Sapeurs-Pompiers Frederic Coune / Livre de poche
common.buy 53.94 €
Coming Islamic Invasion of Israel Mark Hitchcock / Livre de poche
common.buy 12.51 €
Pixars komplette Kurzfilm Collection, 1 DVD, 1 DVD-Video Animatio N / DVD
common.buy 11.76 €
Mobile TV: Customizing Content and Experience Aaron Marcus / Livre relié
common.buy 134.22 €
Le Statut de Tanger D'Apres La Convention Du 18 Decembre 1923 Edgard Rouard De Card / Livre de poche
common.buy 22.68 €
Miss Carter's War HANCOCK SHEILA / Livre de poche
common.buy 16.05 €
Systems of Family Therapy Dinkmeyer / Livre relié
common.buy 210.01 €
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy José Mira / Livre de poche
common.buy 68.07 €
Landlord at Lion's Head - Volume 1 William Dean Howells / Livre de poche
common.buy 27.39 €
Manual of Kidney Transplant Medical Care Arthur J. Matas / Reliure à anneaux
common.buy 39.27 €
Urban Life of the Song Dynasty Zhao Shiyu / Livre relié
common.buy 127.48 €
Troubled Peace Chae-Jin Lee / Livre de poche
common.buy 42.81 €
Am Strand Ian McEwan / Livre de poche
common.buy 11.77 €
Thin Film Ferroelectric Materials and Devices, 1 R. Ramesh / Livre de poche
common.buy 206.48 €
Information Retrieval and Mining in Distributed Environments Alessandro Soro / Livre relié
common.buy 206.48 €
There is no rose / Partitions
common.buy 4.70 €

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

À propos du livre

Nom complet Tools and Algorithms for the Construction and Analysis of Systems
Auteur Tiziana Margaria, Bernhard Steffen
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1996
Nombre de pages 443
EAN 9783540610427
ISBN 3540610421
Code Libristo 05274560
Éditeurs Springer, Berlin
Poids 606
Dimensions 156 x 234 x 23

Catégories

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
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

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