Wolfgang kowalk (43 risultati)

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Sprache: Deutsch 310 Seiten. OriginalKarton. Guter gebrauchter Zustand.

Softcover Sehr gut erhalten.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: as new. Frankfurt am Main : Peter Lang, 1981. Paperback. 369 pp. Condition : as new copy. ISBN 9783820458817. Keywords : LITERATURE.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

kart. Condizione: Gut. 312 S. ; 24 cm, Gutes Ex. - Das Buch stellt neue effiziente und praktisch einsetzbare Techniken zur Spezifikation und Implementierung korrekter Software vor. Neben einer kritischen Analyse verbreiteter mathematischer Methoden zur Verifikation von Software werden neue alternative Verifikationsmethoden vorgestellt und deren praktische Einsatzfähigkeit bewertet. Genauer werden höhere Verfahren unter-sucht sowie informatische Techniken, die durch "Übersetzung" selbsterklärender Konstrukte in reale Programmiersprachen korrekte Programme zu schreiben gestatten. Außerdem wird gezeigt, unter welchen Umständen sich systematische Testverfahren zur Verifikation eignen. Das Buch besitzt eine umfangreiche Beispielsammlung zur Verifikation, wobei sowohl eher mathematische, als auch neue informatische Techniken demonstriert werden. (Verlagstext) ISBN 9783411160013 Sprache: Deutsch Gewicht in Gramm: 550.…

Condizione: New. Print on Demand.

Condizione: Gut. Gebraucht - Gut * ex-library; good, clean condition, no markings in text *.

Condizione: New. Print on Demand.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PF. Condizione: New.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condizione: as new. Berlin & New York : Springer-Verlag, 1982. Paperback. vi, 181 pp. illustrations. 24 cm. (Informatik-Fachberichte, 55). Die operationale Analyse wurde 1976 von Buzen /Buzen76/ eingeführt. Sie untersucht allgemein, wie in endlichen Zeiten an realen wartesystemen gemessene GrOssen zueinander in Beziehung gesetzt werden können. Dazu ist es notwendig, ein endliches Modell solcher Wartesysteme einzuführen. In dieser Arbeit wird solch ein endliches mathematisches Modell definiert und analysiert. Dazu wird zunächst allgemein untersucht, wie Systeme zu modellieren sind (Kapitel 1), und es werden in dieser Arbeit benötigte mathematische Objekte definiert und untersucht (Kapitel 2). Da bei der Analyse des dynamischen Verhaltens von Systemen in endlichen Zeiträurnen Abweichungen zwischen Modellgrössen auftreten , wird eine Rechenmethode mit solchen Modellierungsfehlern eingeführt (Angleichungsrechnung, Kapitel 3) und gezeigt, wie sich mit dieser Begriffsbildung wichtige Konzepte aus der Theorie der stochastischen Prozesse (Gleichgewicht, Unabhängigkeit, Repräsentativität) formulieren lassen (Kapitel 4). Es wird gezeigt, dass mit dieser Modellbildung sowoh1 die Ergebnisse der operationalen Analyse herleitbar sind (Kapitel 5), a1s auch andere Ergebnisse, die bis lang nur mit der stochastischen Analyse beweisbar waren (Kapitel 6,7). Ausserdem wird eine neue Formell für die mittlere Last hergeleitet (Abschnitt 6.2). Da weder die stochastische noch die operationale Analyse Aussagen machen kann über auftretende Modellierungsfehler, werden die Abweichungen, die sich nach der Angleichungsrechnung ergeben, durch Simulation Uberprüft und gezeigt, dass Fehler in den Eingangsvoraussetzungen zurn Teil einen verschwindend kleinen, zurn Teil aber auch einen Uberproportional grossen Fehler in den Ergebnissen verursachen können (Kapitel 8). Condition : as new copy. ISBN 9783540115618. Keywords : COMPUTER STUDIES.…

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condizione: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: New. pp. 516.