Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

Language

French

Book Paperback

Libristo code: 25088418

Publishers Éditions universitaires européennes, October 2019

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

Libristo code: 25088418

91 b

37.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Prophecy Thomas McCarthy

Paperback

19.89 €

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

Paperback

15.39 €

Searching Kamilah Glover

Paperback

12.59 €

COSES DE BRUIXA MARIASOLE RUSA

Hardback

19.49 €

One True Manna Sd Holligan

Paperback

23.49 €

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

Hardback

16.09 €

A Drawn Apocalypse Volume 3: Dark Days Taylor Paulson

Paperback

7.99 €

Zentralblatt für das gesamte Forstwesen Friedrich

Paperback

27.69 €

Routledge Handbook to Auschwitz-Birkenau Sarah M. Cushman

Hardback

349.69 €

Sara-Li 4 Donde Estas Maylin Julio Santos

Paperback

14.29 €

All We Left Unspoken T. Thomas

Paperback

14.19 €

Pátá dohoda Ruiz Don Miguel Angel

Hardback

10.59 €

Kleines Insellexikon: Shetland-Inseln Gerd Elmar König

Paperback

9.80 €

Reflections On The Justice Of Roosting Chickens Ward Churchill

Paperback

13.49 €

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

Board book

12.00 €

Interventi psicologici con pazienti alcolisti Rizzato Erika

Paperback

60.59 €

Calorie Counter

Paperback

8.09 €

Collins Complete Irish Wildlife Paul Sterry

Paperback

22.39 €

Work-Life Balance For Dummies Jeni Mumford

Paperback

18.09 €

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

Hardback

26.59 €

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

Paperback

13.49 €

Nożyczki biurowe 21 cm Book

binding.

3.09 €

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

Paperback

39.69 €

Viaje Al Centro de la Tierra Julio Verne

Paperback

8.79 €

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.