Iš viso: 63,19 €
25 Years of Model Checking
25 Years of Model Checking

Kaina internetu: 63,19 €

  • Išsiųsime per 16–20 d.d.
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.
63.19
  • Leidėjas:
  • Metai: 20080617
  • 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

Formatai:

63,19 € Nauja knyga
minkšti viršeliai

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.
  • Kaina internetu: 63,19 €
  • Už šią prekę gausite 1.9 knygų eurų!
  • Išsiųsime per 16–20 d.d.

Formatai:

63,19 € Nauja knyga
minkšti viršeliai

  • Leidėjas: Springer-Verlag GmbH
  • Metai: 20080617
  • ISBN-10: 3540698493
  • ISBN-13: 9783540698494
  • Formatas: 15.9 x 24.1 x 1.8 cm, minkšti viršeliai
  • Kalba: Anglų

Atsiliepimai

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