Logic, Rewriting, and Concurrency Narciso Martí-Oliet
Titel: Logic, Rewriting, and Concurrency, Untertitel: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday, Einband: Taschenbuch, Autor: Narciso Martí-Oliet, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 648, Maße: 235x155x35 mm, Gewicht: 966 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Coq Denotational Semantics High-performance computing Learning Linear Logic Maude Neurobiology Parallel Computing Rewriting Logic System verification context-sensitive rewriting formal methods information flow control interaction-oriented computing petri nets proof theory service-oriented computing system specification theorem proving unification.
Jetzt bei Ebay:
