عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783642304736
b434613
Tests and Proofs
[Book]
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 ђ́أ June 1, 2012. Proceedings /
edited by Achim D. Brucker, Jacques Julliand
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012
Lecture Notes in Computer Science,
7305
0302-9743 ;
9783642304729
Springer eBooks
Computer science
Computer simulation
Logic design
Software engineering
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Simulation and Modeling
Software Engineering
Brucker, Achim D
Julliand, Jacques
SpringerLink (Online service)
20120525220731.0
مطالعه متن کتاب [Book]
Y
