Logics and Meanings of Programs.
Explore catalogue records classified under Logics and Meanings of Programs..
6 catalogue recordsCatalogue records
Formal Approaches to Software Testing and Runtime Verification (EBook)
Havelund, Klaus
2006
Fundamentals of software engineering
Mason, Helen
2021
Language and automata theory and applications
edited by Alberto Leporati, Carlos MartÃn-Vide, Dana Shapira
2021
Logics for computer science
Wasilewska, Anita
2018
Programming Languages (E-Book)
Kent D, Lee
2008
Rules on the Web: From Theory to Applications
edited by Antonis Bikakis, Paul Fodor, Dumitru Roman
2014