Eintrag weiter verarbeiten
Online-Ressource

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

Gespeichert in:

Personen und Körperschaften: Qin, Shengchao (VerfasserIn)
Titel: Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings/ edited by Shengchao Qin
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 6445
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Artificial intelligence
Compilers (Computer programs).
Machine theory.
Computer programming.
Konferenzschrift > 2010 > Schanghai
Buchausg. u.d.T.: Unifying theories of programming, Berlin : Springer, 2010, VIII, 308 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz