Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien: XLeitfäden der Informatik
Autor Wolfgang Reisigde Limba Germană Hardback – 15 iul 2010
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 274.79 lei 38-45 zile | |
Springer Berlin, Heidelberg – noi 1990 | 274.79 lei 38-45 zile | |
Hardback (1) | 206.37 lei 38-45 zile | |
Vieweg+Teubner Verlag – 15 iul 2010 | 206.37 lei 38-45 zile |
Din seria XLeitfäden der Informatik
- 20% Preț: 193.44 lei
- Preț: 306.42 lei
- 20% Preț: 242.92 lei
- 20% Preț: 198.45 lei
- 20% Preț: 173.94 lei
- 20% Preț: 171.84 lei
- Preț: 304.76 lei
- Preț: 305.18 lei
- Preț: 326.92 lei
- Preț: 369.92 lei
- 20% Preț: 366.71 lei
- Preț: 265.70 lei
- 20% Preț: 166.29 lei
- Preț: 307.21 lei
- Preț: 276.41 lei
- Preț: 324.40 lei
- Preț: 322.64 lei
- Preț: 304.02 lei
- Preț: 336.40 lei
- 11% Preț: 392.56 lei
- 20% Preț: 199.79 lei
- Preț: 358.80 lei
- Preț: 281.03 lei
- 20% Preț: 196.92 lei
- 20% Preț: 255.13 lei
- 20% Preț: 260.37 lei
- 20% Preț: 173.15 lei
- 20% Preț: 239.06 lei
- 20% Preț: 246.70 lei
- Preț: 383.62 lei
- Preț: 302.82 lei
- Preț: 318.22 lei
- Preț: 319.45 lei
- Preț: 275.81 lei
- Preț: 341.62 lei
- Preț: 324.40 lei
- Preț: 314.62 lei
- Preț: 271.19 lei
- 13% Preț: 405.31 lei
- 20% Preț: 264.41 lei
- Preț: 318.78 lei
- Preț: 291.76 lei
- 20% Preț: 236.11 lei
- Preț: 322.16 lei
- Preț: 300.58 lei
- Preț: 326.51 lei
- Preț: 200.47 lei
Preț: 206.37 lei
Preț vechi: 257.96 lei
-20%
Puncte Express: 310
Preț estimativ în valută:
39.54€ • 42.83$ • 33.91£
39.54€ • 42.83$ • 33.91£
Carte tipărită la comandă
Livrare economică 06-13 mai
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783834812902
ISBN-10: 3834812900
Ilustrații: XVI, 248 S. 140 Abb.
Dimensiuni: 168 x 240 x 20 mm
Greutate: 0.71 kg
Ediția:2010
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria XLeitfäden der Informatik
Locul publicării:Wiesbaden, Germany
ISBN-10: 3834812900
Ilustrații: XVI, 248 S. 140 Abb.
Dimensiuni: 168 x 240 x 20 mm
Greutate: 0.71 kg
Ediția:2010
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria XLeitfäden der Informatik
Locul publicării:Wiesbaden, Germany
Public țintă
Upper undergraduateCuprins
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken
Notă biografică
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Textul de pe ultima copertă
Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.
Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken
Zielgruppe
Studierende der Informatik an Universitäten und Fachhochschulen
Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.
Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken
Zielgruppe
Studierende der Informatik an Universitäten und Fachhochschulen
Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Caracteristici
Der anschauliche und fundierte Einstieg in die Petrinetze
Includes supplementary material: sn.pub/extras
Includes supplementary material: sn.pub/extras
Descriere
Descriere de la o altă ediție sau format:
1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.
1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.