Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Parallel Programs as Petri Nets

Taal DuitsDuits
Boek Gebonden (paperback)
Boek Parallel Programs as Petri Nets Bernd Grahlmann
Libristo-code: 08921174
Uitgeverij Books on Demand, april 2001
This book gives a Petri net based solution to the challenge of simulation, analysis and verification... Volledige beschrijving
? points 65 b
26.82 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Raisons administratives et logiques d'empire (XVIe-XIXe) / Boek Gebonden (paperback)
common.buy 33.91 €
El Libro de Las Puertas / The Book of Doors Manlio Castagna / Boek Gebonden (harde band)
common.buy 16.70 €
This Life We Live Tamie Bixler Lung / Boek Gebonden (paperback)
common.buy 9.91 €
The Urdu Ruba'iyat: A Sufi Anthology Paul Smith / Boek Gebonden (paperback)
common.buy 22.98 €
The Sweet Spot: Everything Women Need to Know to Enjoy Life More Kacie Vaudrey / Boek Gebonden (paperback)
common.buy 13.05 €
Wordt verwacht
FAN HOS HONG KONG FAN HO ARCHIVE / Boek Gebonden (harde band)
common.buy 42.12 €
Lais Marie de France / Boek Gebonden (paperback)
common.buy 6.77 €
Malala Yousafzai Sara Spiller / Boek Gebonden (paperback)
common.buy 12.04 €
Mon premier imagier des verbes d'action et des emotions Biboune Collection Editions / Boek Gebonden (paperback)
common.buy 10.32 €
Construction Equipments and its Uses Sathya Prabha K. / Boek Gebonden (paperback)
common.buy 49.00 €
Honabeats Says Karen L. Siskind / Boek Gebonden (paperback)
common.buy 14.67 €
The Technological Republic Nicholas W. Zamiska / Boek Gebonden (harde band)
common.buy 31.48 €
The Repair Shop Craft Book Sonia Albert / Boek Gebonden (paperback)
common.buy 9.71 €
Classic Baptism James Wilkinson Dale / Boek Gebonden (paperback)
common.buy 30.98 €
Internationalism Reconfigured Daniel Laqua / Boek Gebonden (harde band)
common.buy 195.12 €
Romanticas 2 E GRANADOS / Boek Gebonden (harde band)
common.buy 31.79 €
Principles of Bridges Charles Hutton / Boek Gebonden (harde band)
common.buy 30.77 €
Low-firing and Burnishing Sumi von Dassow / Boek Gebonden (paperback)
common.buy 25.31 €
NJM Unravels 1983: The Grenada Chronicles Grenada National Museum / Boek Gebonden (paperback)
common.buy 23.79 €
one hundred onehundredworders, two... Yossi Faybish / Boek Gebonden (paperback)
common.buy 18.52 €
Levee Consuelo Barker / Boek Gebonden (paperback)
common.buy 34.12 €
Modern Japan James L. Huffman / Boek Gebonden (paperback)
common.buy 68.75 €
Finding Pride Hilda Kaphar / Boek Gebonden (harde band)
common.buy 37.15 €
Long Trail Home Janet Kinrade Dethick / Boek Gebonden (paperback)
common.buy 24.19 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Parallel Programs as Petri Nets
Auteur Bernd Grahlmann
Taal Duits
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 304
EAN 9783831117994
ISBN 9783831117994
Libristo-code 08921174
Uitgeverij Books on Demand
Gewicht 531
Afmetingen 178 x 254 x 16

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Bridget Jones - Verrückt nach ihm Marcus Ingendaay / Boek Gebonden (paperback)
common.buy 10.93 €
96 Hours - Taken 3, 1 DVD Olivier Megaton / Video Dvd
common.buy 10.52 €
Shopfloor Management Patrick Pötters / Boek Gebonden (paperback)
common.buy 16.29 €
Osmanlı Batılılaşmasında Sultan Abdulmecid Özlem Sahin / Boek Gebonden (paperback)
common.buy 80.09 €
Our Great West Julian Ralph / Boek Gebonden (paperback)
common.buy 26.93 €
Educacion Fisica en el Sistema Educativo Mexicano Lozano Ileana / Boek Gebonden (paperback)
common.buy 87.28 €
Quantum Field Theory and Topology Albert S. Schwarz / Boek Gebonden (harde band)
common.buy 103.07 €
Problems of Relative Growth Julian S. Huxley / Boek Gebonden (paperback)
common.buy 42.72 €
Bankers' and Public Authorities' Management of Risks Zuhayr Mikdashi / Boek Gebonden (paperback)
common.buy 58.52 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?