Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Méthodes formelles pour le parallélisme

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

Djalila Boughareb

Język

Francuski

Książka Miękka

Kod Libristo: 25088418

Wydawnictwo Éditions universitaires européennes, październik 2019

Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de dév... Cały opis

Kod Libristo: 25088418

99 b

173.86 zł

Na zamówienie Wysyłamy za 17-27 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

63.25 zł

Searching Kamilah Glover

Miękka

51.67 zł

COSES DE BRUIXA MARIASOLE RUSA

Twarda

80.48 zł

One True Manna Sd Holligan

Miękka

96.50 zł

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

Twarda

65.57 zł

A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson

Miękka

32.53 zł

Zentralblatt für das gesamte Forstwesen Friedrich

Miękka

112.92 zł

Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman

Twarda

1 441.36 zł

Sara-Li 4 Donde Estas Maylin Julio Santos

Miękka

61.74 zł

All We Left Unspoken T. Thomas

Miękka

58.42 zł

Pátá dohoda Ruiz Don Miguel Angel

Twarda

43.91 zł

Kleines Insellexikon: Shetland-Inseln Gerd Elmar König

Miękka

43.21 zł

Reflections On The Justice Of Roosting Chickens Ward Churchill

Miękka

54.99 zł

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

Leporelo

44.82 zł

Interventi psicologici con pazienti alcolisti Rizzato Erika

Miękka

280.14 zł

Calorie Counter

Miękka

32.73 zł

Collins Complete Irish Wildlife Paul Sterry

Miękka

90.35 zł

Work-Life Balance For Dummies Jeni Mumford

Miękka

73.53 zł

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

Twarda

107.78 zł

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

Miękka

55.40 zł

Nożyczki biurowe 21 cm Książka

binding.

10.87 zł

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

Miękka

162.78 zł

Viaje Al Centro de la Tierra Julio Verne

Miękka

35.65 zł

"The Land of Atlas": An Archeo's Adventure Branton K Holmberg

Miękka

28.80 zł

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.