Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Méthodes formelles pour le parallélisme

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

Djalila Boughareb

Lingua

Francese

Libro In brossura

Codice Libristo: 25088418

Casa editrice Éditions universitaires européennes, ottobre 2019

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

Codice Libristo: 25088418

91 b

37.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Frágiles REMEDIOS ZAFRA

In brossura

30.19 €

Prophecy Thomas McCarthy

In brossura

19.89 €

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

In brossura

13.49 €

Searching Kamilah Glover

In brossura

12.59 €

COSES DE BRUIXA MARIASOLE RUSA

Rigido

18.69 €

One True Manna Sd Holligan

In brossura

23.49 €

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

Rigido

16.09 €

A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson

In brossura

7.99 €

Zentralblatt für das gesamte Forstwesen Friedrich

In brossura

27.69 €

Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman

Rigido

349.69 €

Sara-Li 4 Donde Estas Maylin Julio Santos

In brossura

14.29 €

All We Left Unspoken T. Thomas

In brossura

14.19 €

Pátá dohoda Ruiz Don Miguel Angel

Rigido

10.59 €

Kleines Insellexikon: Shetland-Inseln Gerd Elmar König

In brossura

9.39 €

Reflections On The Justice Of Roosting Chickens Ward Churchill

In brossura

13.49 €

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

Leporello

11.09 €

Interventi psicologici con pazienti alcolisti Rizzato Erika

In brossura

60.59 €

Calorie Counter

In brossura

8.09 €

Collins Complete Irish Wildlife Paul Sterry

In brossura

22.39 €

Work-Life Balance For Dummies Jeni Mumford

In brossura

18.09 €

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

Rigido

26.59 €

Mapping the Galaxy and Nearby Galaxies Keiichi Wada

In brossura

214.29 €

Nożyczki biurowe 21 cm Libro

binding.

3.09 €

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

In brossura

39.69 €

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.