Muutke küpsiste eelistusi

Satisfiability-Based Program Reasoning and Program Synthesis. [Pehme köide]

  • Formaat: Paperback / softback, 388 pages, kõrgus x laius x paksus: 254x203x26 mm, kaal: 767 g, colour illustrations
  • Ilmumisaeg: 01-Sep-2011
  • Kirjastus: Proquest, Umi Dissertation Publishing
  • ISBN-10: 1243765771
  • ISBN-13: 9781243765772
Teised raamatud teemal:
Satisfiability-Based Program Reasoning and Program Synthesis.
  • Formaat: Paperback / softback, 388 pages, kõrgus x laius x paksus: 254x203x26 mm, kaal: 767 g, colour illustrations
  • Ilmumisaeg: 01-Sep-2011
  • Kirjastus: Proquest, Umi Dissertation Publishing
  • ISBN-10: 1243765771
  • ISBN-13: 9781243765772
Teised raamatud teemal: