Toggle Nav
Menu

Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
312 Seiten, Taschenbuch
€ 63,90
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management Betriebswirtschaft und Management Wirtschaftsmathematik und -informatik, IT-Management
ISBN 9783642031526
Sprache Englisch
Erscheinungsdatum 14.07.2009
Größe 235 x 155 mm
Verlag J.B. Metzler
Herausgegeben von Jorge Sousa Pinto, Ana Bove, Luis Soares Barbosa, Alberto Pardo
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abstract Interpretation: A Formal Study Using Coq.- Extended Static Checking by Calculation Using the Pointfree Transform.- Combinator Parsing: A Short Tutorial.

Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management Betriebswirtschaft und Management Wirtschaftsmathematik und -informatik, IT-Management
ISBN 9783642031526
Sprache Englisch
Erscheinungsdatum 14.07.2009
Größe 235 x 155 mm
Verlag J.B. Metzler
Herausgegeben von Jorge Sousa Pinto, Ana Bove, Luis Soares Barbosa, Alberto Pardo
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
GUTSCHEIN
faltershop Gutscheinfaltershop Gutschein
Tex Tassen No. 8Tex Tassen No. 8