25 Years of Model Checking
25 Years of Model Checking
  • Išparduota
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking," 25MC, which was part of the 18th International Conference on Computer Aided Verification.
0
  • Leidėjas:
  • Metai: 2008
  • ISBN-10: 3540698493
  • ISBN-13: 9783540698494
  • Formatas: 15.9 x 24.1 x 1.8 cm, minkšti viršeliai
  • Kalba: Anglų

25 Years of Model Checking | knygos.lt

Atsiliepimai

(5.00 Goodreads įvertinimas)

Aprašymas

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking," 25MC, which was part of the 18th International Conference on Computer Aided Verification.
Išparduota

Turi egzempliorių? Parduok!


This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking," 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
5
0%
4
0%
3
0%
2
0%
1
0%