Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Programmiersprachen / -werkzeuge / Frameworks

Fachgebiete anzeigen
Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
von Wolfgang Grieskamp; Thomas Santen; Bill Stoddart
Buch | Softcover
2000 | Springer Berlin
ISBN: 9783540411963
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
von Richard J. Boulton; Paul B. Jackson
Buch | Softcover
2001 | Springer Berlin
ISBN: 9783540425250
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Reliable Software Technologies - Ada-Europe '99
1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
von Michael Gonzalez Harbour; Juan A. De La Puente
Buch | Softcover
1999 | Springer Berlin
ISBN: 9783540660934
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Modular Programming Languages
Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
von Jürg Gutknecht; Wolfgang Weck
Buch | Softcover
2000 | Springer Berlin
ISBN: 9783540679585
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Functional and Logic Programming
5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
von Herbert Kuchen; Kazunori Ueda
Buch | Softcover
2001 | Springer Berlin
ISBN: 9783540417392
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen