Suchergebnisse
Deine Suche ergab 15 Treffer
Christoph Walther (Autor), Volker Waßmuth (Autor), Tobias Wieczorek (Autor)
Verbesserung der Methoden zur Prognose der KFZ-Bemessungsverkehrsstärken
Die Bemessung von Straßenverkehrsanlagen orientiert sich unter ökonomischen Aspekten nicht an der absoluten Spitzenstunde der Belastung, sondern in der Regel an der 30. Stunde der Dauerlinie. Da die Bemessung von Neu- und Ausbaumaßnahmen prinzipiell im Hinblick auf die zukünftig erwartbare Nachfrage ...
PREIS:
Christoph Walther (Autor)
Semantik und Programmverifikation
Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere ...
PREIS:
