Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Types for Proofs and Programs

International Workshop, TYPES '96, Aussois, France, December 15-19, 1996. Selected Papers (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were...
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 3296225

Buch 85.59
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 3296225

Buch 85.59
Jetzt vorbestellen
This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were...
Andere Kunden interessierten sich auch für
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

96.29

Vorbestellen
Erschienen am 27.03.1991
Jetzt vorbestellen
Buch

85.59

Vorbestellen
Erschienen am 22.09.1995
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 14.05.1997
Jetzt vorbestellen
Buch

85.59

Vorbestellen
Erschienen am 11.03.1998
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 01.07.1996
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 11.03.1998
Jetzt vorbestellen
Buch

74.89

In den Warenkorb
Erschienen am 10.03.1999
lieferbar
Buch

96.29

Vorbestellen
Erschienen am 29.01.1993
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 05.10.1993
Jetzt vorbestellen
Buch

74.99

In den Warenkorb
Erschienen am 01.04.2010
lieferbar
Buch

96.29

Vorbestellen
Erschienen am 04.01.2011
Jetzt vorbestellen
Buch

74.99

In den Warenkorb
Erschienen am 07.07.2010
lieferbar
Buch

139.09

Vorbestellen
Erschienen am 17.06.2010
Jetzt vorbestellen
Buch

149.99

In den Warenkorb
Erschienen am 17.06.2010
lieferbar
Buch

99.99

In den Warenkorb
Erschienen am 30.07.2010
lieferbar

Parallel Image Processing

T. Bräunl, S. Feyrer, W. Rapf

0 Sterne
Buch

74.99

In den Warenkorb
Erschienen am 04.12.2000
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 22.03.2011
lieferbar
Kommentar zu "Types for Proofs and Programs"
Andere Kunden kauften auch
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

96.29

Vorbestellen
Erschienen am 27.03.1991
Jetzt vorbestellen
Buch

85.59

Vorbestellen
Erschienen am 22.09.1995
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 14.05.1997
Jetzt vorbestellen
Buch

85.59

Vorbestellen
Erschienen am 11.03.1998
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 01.07.1996
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 11.03.1998
Jetzt vorbestellen
Buch

74.89

In den Warenkorb
Erschienen am 10.03.1999
lieferbar
Buch

96.29

Vorbestellen
Erschienen am 29.01.1993
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 05.10.1993
Jetzt vorbestellen
Buch

74.99

In den Warenkorb
Erschienen am 01.04.2010
lieferbar
Buch

96.29

Vorbestellen
Erschienen am 04.01.2011
Jetzt vorbestellen
Buch

74.99

In den Warenkorb
Erschienen am 07.07.2010
lieferbar
Buch

139.09

Vorbestellen
Erschienen am 17.06.2010
Jetzt vorbestellen
Buch

149.99

In den Warenkorb
Erschienen am 17.06.2010
lieferbar
Buch

99.99

In den Warenkorb
Erschienen am 30.07.2010
lieferbar

Parallel Image Processing

T. Bräunl, S. Feyrer, W. Rapf

0 Sterne
Buch

74.99

In den Warenkorb
Erschienen am 04.12.2000
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 22.03.2011
lieferbar
Weitere Empfehlungen zu „Types for Proofs and Programs “
0 Gebrauchte Artikel zu „Types for Proofs and Programs“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich