Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.GogollaMartinWolffBurkhart...
计算机科学讲义 6389:编程与软件工程(Lecture Notes in Computer Science 6389 Programming and Software Engineering) Eva Mayr, Micha搜索 Lecture Notes in Computer Science 6389Commenced Publication in 1973Founding and Former Series Editors:Gerhard Goos, Juris Hartmanis, and Jan van LeeuwenEditorial BoardDavid ...
Lecture Notes in Computer Science 623 Automata,Languages and Programming 19th International Colloquium This Volume Presents The Proceedings Of The 19th International Colloquium Onautomata, Languages, And Programming (icalp 92) In A Series Of Meetings Sponsored By The European Association For Theoretical ...
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in ...
Links to Free Programming, Computer, Mathematics, Technical eBooks and Lecture Notes all over the World, Directory of online free programming, computer, engineering, mathematics, technical books, ebooks, lecture notes and tutorials. Very well categorized
Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science) H. Beki ; Selected Papers Edited By C.b. Jones. Includes Bibliographical References.
This site lists free online computer science, engineering and programming books, textbooks and lecture notes, all of which are legally and freely available.
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 155 I I The Programming Language Ada* Reference Manual American National Standards Institute, Inc. AN S I/M I L-STD-1815A-1983 Approved 17 February 1983 *Ada is a registered trademark of the US-Government-Ada Joint ...
Beginning with general programming concepts such as loops and functions within the core Python language, and moving onto the NumPy, SciPy and Matplotlib libraries for numerical programming and data visualisation, this textbook also discusses the use of Python to build rich-media, shareable documents ...
C# (pronounced "See Sharp") is a multi-purpose computer programming language suitable for a wide variety of development needs. This WikiBook introduces C# language fundamentals and covers a variety of the base class libraries (BCL) provided by the Microsoft .NET Framework.Whether...