1 - 20 of 591 results for "program"

  • eBook
    • 3rd Edition
    • Kenneth A. Lambert
    • Cengage Learning
    • Reflowable Layout

    Starting at:$54.99 USD

    View Details
  • eBook
    • 5th Edition
    • Barbara Doyle
    • Cengage Learning
    • Fixed Layout

    Starting at:$63.99 USD

    View Details
  • eBook
    • 2nd Edition
    • Kenneth A. Lambert
    • Cengage Learning
    • Reflowable Layout

    Starting at:$63.99 USD

    View Details
  • eBook
    • 5th Edition
    • D. S. Malik
    • Cengage Learning
    • Fixed Layout

    Starting at:$63.99 USD

    View Details
  • eBook
    Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
    • 1st Edition
    • Robert L. Constable; ‎Alexandra Silva
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
    • 1st Edition
    • Jeremy Gibbons; Pablo Nogueira
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
    • Author
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
    • 1st Edition
    • Roland Backhouse; Jose Nuno Oliveira
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$19.50 USD

    View Details
  • eBook
    • Flemming Nielson; Hanne R. Nielson; Chris Hankin
    • Springer
    • Fixed Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    Case Studies Using the B Method
    • 1st Edition
    • Emil Sekerinski; Kaisa Sere
    • Springer
    • Fixed Layout

    Starting at:$62.70 USD

    View Details
  • eBook
    • Lesley Anne Robertson
    • Newnes
    • Fixed Layout

    $31.95 USD

    View Details
  • eBook
    A Decade of Research Advances in Logic-Based Program Development
    • 1st Edition
    • Maurice Bruynooghe; ‎KungKiu Lau
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
    • 1st Edition
    • Germán Vidal
    • Springer
    • Fixed Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    Coq’Art: The Calculus of Inductive Constructions
    • Yves Bertot; Pierre Castéran
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$21.00 USD

    View Details
  • eBook
    18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
    • 1st Edition
    • Michael Hanus
    • Springer
    • Fixed Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Yang Rong
    • World Scientific
    • Fixed Layout

    $121.00 USD

    View Details
  • eBook
    25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details