Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Méthodes formelles pour le parallélisme

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

Djalila Boughareb

Jazyk

Francouzština

Kniha Brožovaná

Libristo kód: 25088418

Nakladatelství Éditions universitaires européennes, říjen 2019

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

Libristo kód: 25088418

81 b

813 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Prophecy Thomas McCarthy

Brožovaná

445 Kč

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

Brožovaná

341 Kč

Searching Kamilah Glover

Brožovaná

279 Kč

COSES DE BRUIXA MARIASOLE RUSA

Pevná

458 Kč

One True Manna Sd Holligan

Brožovaná

522 Kč

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

Pevná

351 Kč

A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson

Brožovaná

176 Kč

Zentralblatt für das gesamte Forstwesen Friedrich

Brožovaná

642 Kč

Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman

Pevná

7 834 Kč

Sara-Li 4 Donde Estas Maylin Julio Santos

Brožovaná

351 Kč

All We Left Unspoken T. Thomas

Brožovaná

316 Kč

Pátá dohoda Ruiz Don Miguel Angel

Pevná

241 Kč

Kleines Insellexikon: Shetland-Inseln Gerd Elmar König

Brožovaná

204 Kč

Reflections On The Justice Of Roosting Chickens Ward Churchill

Brožovaná

296 Kč

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

Leporelo

240 Kč

Interventi psicologici con pazienti alcolisti Rizzato Erika

Brožovaná

1 318 Kč

Calorie Counter

Brožovaná

174 Kč

Collins Complete Irish Wildlife Paul Sterry

Brožovaná

480 Kč

Work-Life Balance For Dummies Jeni Mumford

Brožovaná

392 Kč

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

Pevná

575 Kč

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

Brožovaná

299 Kč

Nożyczki biurowe 21 cm Kniha

binding.

72 Kč

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

Brožovaná

881 Kč

Viaje Al Centro de la Tierra Julio Verne

Brožovaná

191 Kč

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.