Cantitate/Preț
Produs

Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien: XLeitfäden der Informatik

Autor Wolfgang Reisig
de Limba Germană Hardback – 15 iul 2010
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 27479 lei  38-45 zile
  Springer Berlin, Heidelberg – noi 1990 27479 lei  38-45 zile
Hardback (1) 20637 lei  38-45 zile
  Vieweg+Teubner Verlag – 15 iul 2010 20637 lei  38-45 zile

Din seria XLeitfäden der Informatik

Preț: 20637 lei

Preț vechi: 25796 lei
-20%

Puncte Express: 310

Preț estimativ în valută:
3954 4283$ 3391£

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

Public țintă

Upper undergraduate

Cuprins

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

Caracteristici

Der anschauliche und fundierte Einstieg in die Petrinetze
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.