Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Product Description
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Technical Specifications
You might also like
Produktionsgrundlagen der Landwirtschaft. Landnutzungstheorie nach Johann Heinrich von Thünen (German Edition)
Salammbô de Gustave Flaubert. Le personnage de Mâtho (French Edition)
Regionale Stärke, nationale Fragilität? Türkische Außenpolitik und Ideologie im Hinblick auf die "Kurdenfrage" (German Edition)
Die virtuelle Währung Bitcoin. Wegweiser einer bargeldlosen Zukunft oder nur ein zeitweiliger Trend? (German Edition)
Aktivitäten zur Verbesserung öffentlicher Wahrnehmung von Zuwanderern und Förderung gegenseitiger Akzeptanz. Der Verein "Zu Hause e.V." (German Edition)
Der Regenwald als Kulturlandschaft. Auswirkungen der Entwaldung auf die indigenen Völker Indonesiens (German Edition)
IAS 33. Wie unverwässerte und verwässerte Ergebnisse je Aktie zur Bewertung von Unternehmen ermittelt werden (German Edition)
Care- und Reproduktionsarbeit in der Debatte um das bedingungslose Grundeinkommen: Wie könnten sich die Geschlechterverhältnisse durch das BGE verändern? (German Edition)