Vérifier l’état de la commande

Vérifier l’état de la commande

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

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

phone

Contact

phone

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

0

Livre Using Event-B for Critical Device Software Systems Keith Glover

Using Event-B for Critical Device Software Systems

Langue

Anglais

Livre Livre de poche

Livre Using Event-B for Critical Device Software Systems Keith Glover

Code Libristo: 32284073

Éditeurs Createspace Independent Publishing Platform, août 2017

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Description détaillée

Code Libristo: 32284073

?

points

115 b

46.79 € TVA incluse

Stockage externe Expédition sous 14-21 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg

/

Livre relié

24.90 €

Технология производства и переработки продукции свиноводства. Учебник для ВО, 1-е изд. В. Г. Кахикало

/

Livre relié

54.99 €

Ako si vycvičit draka – Začíname čítať - Noví priatelia

/

Livre relié

6.29 €

LOS SOTANOS DE LA TIERRUCA LAMOILE MARTINEZ

/

Livre de poche

29.29 €

Pierres Roulées - Rhodonite du Pérou - Sachet 500 grs

/

binding.

33.39 €

LITTÉRATURE PROGRESSIVE DE LA FRANCOPHONIE NIVEAU INTERMÉDIAIRE B1,B2 - LIVRE - Nicole Blondeau

/

CD Audio

31.19 €

Die Naturliche Theologie (1882) Alfred Barry

/

Livre relié

47.49 €

Belgrad - 1.000 Teile (Puzzle)

/

Jeu

32.90 €

Vita quotidiana dei Bastardi di Pizzofalcone Maurizio De Giovanni

/

Livre de poche

31.09 €

Finanzas para emprendedores ANTONIO MANZANERA ESCRIBANO

/

Livre de poche

31.09 €

Robby aus der Räuberhöhle, 1 Audio-CD Barbara Landbeck

/

CD Audio

10.00 €

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health do

Actrice & Polyglotte

EWA KASP pour

Lire la vidéo

Ewa Kasp

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 Using Event-B for Critical Device Software Systems

Auteur Keith Glover

Langue

Anglais

Reliure Livre - Livre de poche

Date de parution 2017

Nombre de pages 334

EAN 9781981128860

ISBN 1981128867

Code Libristo 32284073

Éditeurs Createspace Independent Publishing Platform

Poids 775

Dimensions 216 x 280 x 18

Catégories

Informatique et technologies de l’information > Informatique > Modélisation et simulation informatiques

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

Czech Renaissance folk songs for DADGAD Guitar Ondrej Sarek

/

Livre de poche

12.69 €

Flagship Mike Carlton

/

Livre de poche

18.09 €

Albertus Magnus and the World of Nature Kenneth F. Kitchell Jr

/

Livre relié

16.19 €

Handbook of Research on Herbal Liver Protection T. Pullaiah

/

Livre relié

239.29 €

Be With Me Amy Jindra

/

Livre de poche

15.39 €

Subject of Human Rights Danielle Celermajer

/

Livre relié

122.99 €

Governing Partners Russell L Hanson

/

Livre relié

179.19 €

Windows on Literacy Language, Literacy & Vocabulary Fluent Plus (Science): Life Cycles of Animals National Geographic Learning

/

Livre de poche

24.29 €

Encephalitis Lethargica Paul Bernard Foley

/

Livre de poche

237.69 €

99 Tips to Get Better at Spearfishing Levi Brown

/

Livre de poche

20.69 €

Red Wyvern Katharine Kerr

/

Livre de poche

13.19 €

A Critical Examination of the Question in Regard to the Time of Our Saviour's Crucifixion Jeremiah Knight Aldrich

/

Livre de poche

20.29 €

Immigration in Modern Times - the What, the Where and the How Patrick Chu

/

Livre de poche

9.79 €

Fugitives Donald Campbell

/

Livre de poche

8.69 €

Handbook of Research on Artificial Intelligence, Innovation and Entrepreneurship Elias G Carayannis

/

Livre relié

316.89 €

Pearson REVISE Edexcel GCSE Maths Higher Revision Workbook - 2023 and 2024 exams Navtej Marwaha

/

Livre de poche

9.59 €

Automating Building Energy Management for Accelera ted Building Decarbonization James (University of California Santa Cruz Extension) Kempf

/

Livre relié

101.09 €

Pretentiousness: Why It Matters Dan Fox

/

Livre de poche

14.99 €

Nebeski Putnici Bepina Pincic

/

Livre de poche

11.69 €

Beijing Bastard Val Wang

/

Livre de poche

11.19 €

Beyond the Science/Religion Debate Guido O Perez MD

/

Livre de poche

10.29 €

Hilary Putnam James Conant

/

Livre de poche

70.69 €

Teaching North American Environmental Literature Laird Christensen

/

Livre de poche

47.39 €

Architectural Drawing Clothier Franklin Edminster

/

Livre relié

27.49 €

Conseiller littéraire Libroamiko

Bonjour, je suis Libroamiko, puis-je vous aider ?