Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad
550 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
604 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
Composition of Embedded Systems. Scientific and Industrial Issues
Fabrice Kordon, Oleg Sokolsky
Häftad
550 kr
Transactions on Petri Nets and Other Models of Concurrency XVIII
Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Häftad
1 235 kr
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Inbunden
699 kr
Del 9698
Del 10228