[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

Formal Methods in Standards

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods in Standards Clive L.N. Ruggles
Code Libristo: 02172562
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 1990
This report was produced by the Formal Methods in Standards Working Group of the British Computer So... 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

Seven Years in Tibet Heinrich Harrer / Livre de poche
common.buy 16.47 €
Doktor Barthel Karte Insel Rügen / Cartes géographiques
common.buy 10.60 €
The Fable 01 Katsuhisa Minami / Livre de poche
common.buy 14.76 €
Agent Technology Nicholas R. Jennings / Livre de poche
common.buy 133.04 €
Praxisbuch funktionelle Wirbelsäulengymnastik und Rückentraining. Tl.3 Olga Bauer / Livre de poche
common.buy 15.95 €
Fusion in Computer Vision Bogdan Ionescu / Livre relié
common.buy 68.07 €
Furst Bismarck unter drei Kaisern 1884-1888 Hermann Robolsky / Livre de poche
common.buy 37.36 €
Die jüngere Generation in einer alternden Arbeitswelt Jutta Rump / Livre relié
common.buy 53.41 €
Mornings in Florence John Ruskin / Livre de poche
common.buy 27.39 €
Leben des vergnügten Schulmeisterlein Maria Wutz ean Paul / Livre de poche
common.buy 8.56 €

This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.

À propos du livre

Nom complet Formal Methods in Standards
Auteur Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1990
Nombre de pages 135
EAN 9783540195771
ISBN 3540195777
Code Libristo 02172562
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 290
Dimensions 170 x 244 x 9

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique
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