Free delivery for orders over 69.99 euro

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

Free delivery for purchases over 69.99 €

DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Langages de Scenarios

Name: Langages de Scenarios
Brand: Éditions universitaires européennes
SKU: 06944828
Price: 52.27 EUR
Availability: InStock
Author: Thomas Gazagnaire
ISBN: 9786131513084

Thomas Gazagnaire

Language

French

Book Paperback

Libristo code: 06944828

Publishers Éditions universitaires européennes, June 2010

Ce livre se place dans le cadre de la modélisation et de l'analyse de systčmes parallčles et réparti... Full description

Libristo code: 06944828

127 b

52.27 €

In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Docrafts Sada papírů, krabiček, pregamenů - Geometric Neon 48 ks

binding.

17.78 €

Subsidia Eloquentiae Sacrae: In Quibus Sylvulae Concionum In Annos Viii, Ars Conceptuum, Dcc Exempla Figurarum, Apparatus Historiarum Pro Catechesi Ignaz Weitenauer

Hardback

34.17 €

Blood in the Shadows Allyson Lindt

Paperback

15.87 €

Juniper Unraveling Julie Belfield

Paperback

17.88 €

BABADADA, Romani - Kurdi, alavengoro dikhipen - ferhenga ditbari Babadada Gmbh

Paperback

28.94 €

The Cotton Mills of South Carolina August Kohn

Paperback

28.34 €

Report of the Board of Statutory Consolidation. Adolph Julius Rodenbeck

Paperback

28.64 €

Antiguo Testamento /2 Martínez Puche

Paperback

10.65 €

Common Ground Lan Wu

Paperback

42.01 €

汤姆-斯威夫特和他的战车: Tom Swift and his War Tank, Chinese edition Victor Appleton

Paperback

15.97 €

Prostate Cancer Imaging Ayman El-Baz

Paperback

77.90 €

Komm, mach mit! Guten Morgen, kleine Siebenschläfer, aus den Bettchen, fertig, los! Andrea Stegmaier

Hardback

12.66 €

Role Exit in Prison Officers Sarah Nixon

Hardback

249.62 €

CHINESE Herbal Medicine For Beginners Jessica Wang

Adobe ePub DRM

6.33 €

Nimrod Chris Gibson

Hardback

43.12 €

Technikleitbilder und Büroarbeit Peter Berger

Paperback

46.94 €

Historical and Recent Catastrophic Tsunamis in the World José C. Borrero

Paperback

102.33 €

Das Inhaberpapier Daniel R. Meppen

Hardback

82.23 €

Financier Theodore Dreiser

Paperback

21.60 €

Home Machinists Handbook Briney

Paperback

27.34 €

Recurrent Miscarriage And Pre Eclampsia: The Roles Played By The Immune System And Antioxidants Rhoda Wilson

Hardback

90.37 €

Politics in Theology Gabriel R. Ricci

Paperback

75.69 €

City at Stake Raphael J. Sonenshein

Paperback

56.99 €

Hope for the Troubled Heart Billy Graham

Paperback

14.77 €

Ce livre se place dans le cadre de la modélisation et de l'analyse de systčmes parallčles et répartis. Plus précisément, il s'intéresse ŕ la modélisation, la vérification et la supervision de systčmes composés d'entités indépendantes interagissant localement par mémoire partagée et globalement par échange asynchrone de messages. Dans ce contexte, plutôt que de modéliser séparément chaque entité, puis d'analyser les comportements qui peuvent se produire lorsque ces entités interagissent, ce livre fournit une théorie permettant de modéliser globalement le systčme considéré tout en conservant des propriétés de vérification et de supervision décidables. Cette théorie se base sur le formalisme des ordres partiels étiquetés, appelés "pomsets".