
Specification and Compositional Verification of Real-Time Systems
Jozef Hooman
₹5,498

Liber Amicorum Joseph Straus
by Wolrad Prinz Zu Waldeck Und Pyrmont, Martin J. Adelman, Robert Brauneis
Free delivery. Nothing extra to pay at checkout.
In the last two decades, accelerating technological progress, increasing economic globalization and the proliferation of international agreements have created new challenges for intellectual property law.
Description supplied by the publisher.