Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Méthodes formelles pour le parallélisme
Jazyk
Francouzština
Francouzština
Kniha
Brožovaná
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
?
95 b
95 b
954
Kč
včetně DPH
Skladem u dodavatele
Odesíláme za 9-11 dnů
30 dní na vrácení zboží
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.
Informace o knize
Plný název
Méthodes formelles pour le parallélisme
Jazyk
Francouzština
Francouzština
Vazba
Kniha - Brožovaná
Datum vydání
2019
Počet stran
84
EAN
9786139520916
ISBN
6139520916
Libristo kód
25088418
Nakladatelství
Éditions universitaires européennes
Váha
143
Rozměry
150 x 220 x 5
