Constraint logic programming using ECLiPSe

Ediciones (6)

• Constraint Logic Programming Using Eclipse (2010)

  Cambridge University Press · inglés · ISBN 9781281085719

• Constraint Logic Programming Using Eclipse (2009)

  Cambridge University Press · inglés · ISBN 9780511607400

• Constraint Logic Programming Using ECLiPSe (2007)

  Cambridge University Press · inglés · ISBN 9780511349669

• Constraint Logic Programming using Eclipse (2007)

  Cambridge University Press · inglés · ISBN 9780521866286

• Constraint Logic Programming Using Eclipse (2006)

  Cambridge University Press · inglés · ISBN 9780511348747

• Constraint Logic Programming Using Eclipse (2006)

  Cambridge University Press · inglés · ISBN 9780511347771

Más obras de Krzysztof R. Apt

New trends in constraints

The Logic Programming Paradigm

Logics and Models of Concurrent Systems

Programmverifikation

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Ver todas las obras de Krzysztof R. Apt →