Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad
557 kr
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Häftad, Engelska, 2024
Del 14550 i serien Lecture Notes in Computer Science
612 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 108
Markovian Demand Inventory Models
Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar
Häftad
1 289 kr
Del 11823
Del 14573