Real-Time Systems

by Albert M. K. Cheng

2003 · John Wiley & Sons

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem Maße verlassen können. Bisher sind zu diesem Thema nur Artikelsammlungen erschienen. Jetzt liegt endlich ein Buch vor, das sich für Fachleute und Studenten gleichermaßen eignet und dem Leser einen umfassenden Überblick über die verschiedenen existierenden Ansätze verschafft. Vor- und Nachteile jedes Verfahrens werden ausführlich beschrieben - das erleichtert die Methodenwahl in der Praxis! Der Autor ist nicht nur ein anerkannter Experte auf seinem Gebiet, sondern genießt auch einen hervorragenden pädagogischen Ruf.

Contributions to the Theory of Games, Volume III

by Melvin Dresher, Albert William Tucker, Philip Wolfe

2016 · Princeton University Press

A new group of contributions to the development of this theory by leading experts in the field. The contributors include L. D. Berkovitz, L. E. Dubins, H. Everett, W. H. Fleming, D. Gale, D. Gillette, S. Karlin, J. G. Kemeny, R. Restrepo, H. E. Scarf, M. Sion, G. L. Thompson, P. Wolfe, and others.