Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Méthodes formelles pour le parallélisme

Name: Méthodes formelles pour le parallélisme
Brand: Éditions universitaires européennes
SKU: 25088418
Price: 31.48 EUR
Availability: InStock
Author: Djalila Boughareb
ISBN: 9786139520916

Djalila Boughareb

Língua

Francês

Livro Capa mole

Código Libristo: 25088418

Editoras Éditions universitaires européennes, outubro 2019

Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de dév... Descrição completa

Código Libristo: 25088418

76 b

31.48 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Prophecy Thomas McCarthy

Capa mole

17.51 €

Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu

Capa mole

12.65 €

Searching Kamilah Glover

Capa mole

10.32 €

COSES DE BRUIXA MARIASOLE RUSA

Livro de capa dura

15.48 €

One True Manna Sd Holligan

Capa mole

19.43 €

S? kan mänskligheten förinta sig själv

Livro de capa dura

13.56 €

A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson

Capa mole

6.47 €

Zentralblatt für das gesamte Forstwesen Friedrich

Capa mole

22.17 €

Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman

Livro de capa dura

294.16 €

Sara-Li 4 Donde Estas Maylin Julio Santos

Capa mole

12.85 €

All We Left Unspoken T. Thomas

Capa mole

11.74 €

Pátá dohoda Ruiz Don Miguel Angel

Livro de capa dura

9.31 €

Kleines Insellexikon: Shetland-Inseln Gerd Elmar König

Capa mole

7.89 €

Reflections On The Justice Of Roosting Chickens Ward Churchill

Capa mole

11.53 €

Duden 24+: Kennst du das? Das große Bildwörterbuch

Livro concertina

9.31 €

Interventi psicologici con pazienti alcolisti Rizzato Erika

Capa mole

51.13 €

Calorie Counter

Capa mole

6.67 €

Collins Complete Irish Wildlife Paul Sterry

Capa mole

18.42 €

Work-Life Balance For Dummies Jeni Mumford

Capa mole

14.07 €

Dead Men Risen: An Epic Story of War and Heroism in Afghanistan Toby Harnden

Livro de capa dura

20.55 €

The Right to be Forgotten on the Internet: Google v. Spain Artemi Rallo

Capa mole

11.03 €

Nożyczki biurowe 21 cm Livro

binding.

2.42 €

Lead, Kindly Light: Gandhi and the Way to Peace Vincent Sheean

Capa mole

32.70 €

Viaje Al Centro de la Tierra Julio Verne

Capa mole

6.77 €

Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de développement d'un système parallèle, et suite au fait qu'elles sont fondées sur une base théorique solide qui est les mathématiques, ces méthodes permettent des validations automatisées des propriétés du système développé. Ce livre tente d'apporter aux lecteurs les connaissances fondamentales sur le domaine des méthodes formelles pour la spécification, la modélisation et la vérification des systèmes parallèles. L'accent sera mis sur les méthodes sémantiques de parallélisme, les outils formels de modélisation, ainsi que sur les méthodes formelles de vérification.