A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Parallel Programs as Petri Nets

Nyelv NémetNémet
Könyv Puha kötésű
Könyv Parallel Programs as Petri Nets Bernd Grahlmann
Libristo kód: 08921174
Kiadó Books on Demand, április 2001
This book gives a Petri net based solution to the challenge of simulation, analysis and verification... Teljes leírás
? points 71 b
10 425 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Raisons administratives et logiques d'empire (XVIe-XIXe) / Könyv Puha kötésű
common.buy 12 028 Ft
El Libro de Las Puertas / The Book of Doors Manlio Castagna / Könyv Kemény kötésű
common.buy 6 461 Ft
This Life We Live Tamie Bixler Lung / Könyv Puha kötésű
common.buy 3 863 Ft
Tree of Hearts Beaded Bookmark Inc Peter Pauper Press / Könyv binding.
common.buy 1 867 Ft
The Urdu Ruba'iyat: A Sufi Anthology Paul Smith / Könyv Puha kötésű
common.buy 8 827 Ft
The Sweet Spot: Everything Women Need to Know to Enjoy Life More Kacie Vaudrey / Könyv Puha kötésű
common.buy 5 006 Ft
Hamarosan
FAN HOS HONG KONG FAN HO ARCHIVE / Könyv Kemény kötésű
common.buy 15 951 Ft
Lais Marie de France / Könyv Puha kötésű
common.buy 2 436 Ft
Malala Yousafzai Sara Spiller / Könyv Puha kötésű
common.buy 4 655 Ft
Mon premier imagier des verbes d'action et des emotions Biboune Collection Editions / Könyv Puha kötésű
common.buy 3 964 Ft
Construction Equipments and its Uses Sathya Prabha K. / Könyv Puha kötésű
common.buy 19 035 Ft
Honabeats Says Karen L. Siskind / Könyv Puha kötésű
common.buy 5 609 Ft
The Technological Republic Nicholas W. Zamiska / Könyv Kemény kötésű
common.buy 12 130 Ft
The Repair Shop Craft Book Sonia Albert / Könyv Puha kötésű
common.buy 3 700 Ft
Classic Baptism James Wilkinson Dale / Könyv Puha kötésű
common.buy 10 986 Ft
Internationalism Reconfigured Daniel Laqua / Könyv Kemény kötésű
common.buy 69 262 Ft
Romanticas 2 E GRANADOS / Könyv Kemény kötésű
common.buy 11 236 Ft
Principles of Bridges Charles Hutton / Könyv Kemény kötésű
common.buy 11 750 Ft
Low-firing and Burnishing Sumi von Dassow / Könyv Puha kötésű
common.buy 9 003 Ft
NJM Unravels 1983: The Grenada Chronicles Grenada National Museum / Könyv Puha kötésű
common.buy 9 152 Ft
one hundred onehundredworders, two... Yossi Faybish / Könyv Puha kötésű
common.buy 7 095 Ft
Levee Consuelo Barker / Könyv Puha kötésű
common.buy 13 190 Ft
Modern Japan James L. Huffman / Könyv Puha kötésű
common.buy 25 070 Ft
Finding Pride Hilda Kaphar / Könyv Kemény kötésű
common.buy 14 172 Ft

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

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Parallel Programs as Petri Nets
Szerző Bernd Grahlmann
Nyelv Német
Kötés Könyv - Puha kötésű
Kiadás éve 2001
Oldalszám 304
EAN 9783831117994
ISBN 9783831117994
Libristo kód 08921174
Kiadó Books on Demand
Súly 531
Méretek 178 x 254 x 16

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Bridget Jones - Verrückt nach ihm Marcus Ingendaay / Könyv Puha kötésű
common.buy 4 242 Ft
96 Hours - Taken 3, 1 DVD Olivier Megaton / Filmek DVD
common.buy 3 747 Ft
Shopfloor Management Patrick Pötters / Könyv Puha kötésű
common.buy 6 285 Ft
Long Trail Home Janet Kinrade Dethick / Könyv Puha kötésű
common.buy 9 240 Ft
Osmanlı Batılılaşmasında Sultan Abdulmecid Özlem Sahin / Könyv Puha kötésű
common.buy 31 104 Ft
Our Great West Julian Ralph / Könyv Puha kötésű
common.buy 10 309 Ft
Educacion Fisica en el Sistema Educativo Mexicano Lozano Ileana / Könyv Puha kötésű
common.buy 33 897 Ft
Quantum Field Theory and Topology Albert S. Schwarz / Könyv Kemény kötésű
common.buy 39 770 Ft
Problems of Relative Growth Julian S. Huxley / Könyv Puha kötésű
common.buy 16 214 Ft
Bankers' and Public Authorities' Management of Risks Zuhayr Mikdashi / Könyv Puha kötésű
common.buy 21 355 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása