Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Parallel Programs as Petri Nets

Bernd Grahlmann

Език

Немски език

Книга С меки корици

Код Либристо: 08921174

Издателство Books on Demand, април 2001

This book gives a Petri net based solution to the challenge of simulation, analysis and verification... Цялото описание

Код Либристо: 08921174

69 b

28.47 €

55.69 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

AIRS CLASSIQUES VOL.10 (HETTICH) VOIX CHANT MAITRES Книга

binding.

37.81 € 73.95 лв

Traité Pratique De L'exploitation Des Mines De Houille John Hedley

С твърди корици

30.81 € 60.25 лв

This Life We Live Tamie Bixler Lung

С меки корици

9.90 € 19.37 лв

2016 Presidential Election 120 (Edición en Espa?ol) I. D. Oro

С меки корици

10.37 € 20.28 лв

The Urdu Ruba'iyat: A Sufi Anthology Paul Smith

С меки корици

23.03 € 45.03 лв

The Sweet Spot: Everything Women Need to Know to Enjoy Life More Kacie Vaudrey

С меки корици

13.12 € 25.66 лв

FAN HOS HONG KONG FAN HO ARCHIVE

С твърди корици

45.02 € 88.05 лв

Lais Marie de France

С меки корици

6.69 € 13.08 лв

Malala Yousafzai Sara Spiller

С меки корици

10.52 € 20.58 лв

Raisons administratives et logiques d'empire (XVIe-XIXe)

С меки корици

35.53 € 69.48 лв

Mon premier imagier des verbes d'action et des emotions Biboune Collection Editions

С меки корици

10.37 € 20.28 лв

Construction Equipments and its Uses Sathya Prabha K.

С меки корици

51.97 € 101.64 лв

Honabeats Says Karen L. Siskind

С меки корици

14.67 € 28.70 лв

A Son of the Forest William 1798-1839 Apess

С меки корици

21.31 € 41.69 лв

The Repair Shop Craft Book Sonia Albert

С меки корици

10.42 € 20.38 лв

Classic Baptism James Wilkinson Dale

С меки корици

32.36 € 63.30 лв

Modern Japan James L. Huffman

С меки корици

71.99 € 140.81 лв

Bankers' and Public Authorities' Management of Risks Zuhayr Mikdashi

С меки корици

61.31 € 119.91 лв

Problems of Relative Growth Julian S. Huxley

С меки корици

42.84 € 83.79 лв

Quantum Field Theory and Topology Albert S. Schwarz

С твърди корици

108.87 € 212.94 лв

Educacion Fisica en el Sistema Educativo Mexicano Lozano Ileana

С меки корици

92.53 € 180.98 лв

Our Great West Julian Ralph

С меки корици

26.97 € 52.74 лв

Osmanlı Batılılaşmasında Sultan Abdulmecid Özlem Sahin

С меки корици

84.96 € 166.17 лв

Long Trail Home Janet Kinrade Dethick

С меки корици

24.22 € 47.37 лв

This book gives a Petri net based solution to the challenge of simulation, analysis and verification of parallel programs. The presented formal definition of compositional high-level Petri net semantics for B(PN)˛ (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN)˛ and SDL) and processes with dynamic creation and termination (in SDL) into high-level Petri nets. All related issues are covered: 1. The algebra of M-nets is extended 2. References relating parts of the programs with parts of the resulting nets are introduced 3. Its implementation in the PEP tool is described 4. Examples (including verification) are given 5. An extension to hybrid systems is shown