Language Engineering and Rigorous Software Development Ana Bove
53,49 €
Titel: Language Engineering and Rigorous Software Development, Untertitel: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers, Einband: Taschenbuch, Autor: Ana Bove, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 312, Maße: 235x155x17 mm, Gewicht: 476 g, Verkäufer: buch-mimpf, Schlagworte: Spracherkennung Coq Functional Programming abstract syntax combinator parsing concrete syntax context-free grammar dependent types domain-specific languages extended static checking first-order logic formal methods generic programming information flow securit.
Jetzt bei Ebay:
