Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad
719 kr
Del 14550 i serien Lecture Notes in Computer Science
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Häftad, Engelska, 2024
789 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2024-11-01
- Mått155 x 235 x 11 mm
- Vikt289 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor172
- FörlagSpringer International Publishing AG
- ISBN9783031676949
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Transactions on Petri Nets and Other Models of Concurrency XVI
Maciej Koutny, Fabrice Kordon, Daniel Moldt
Häftad
1 289 kr
Composition of Embedded Systems. Scientific and Industrial Issues
Fabrice Kordon, Oleg Sokolsky
Häftad
719 kr
- Nyhet
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 609 kr
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Inbunden
909 kr
Del 9698
Del 10228