Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
Big bigCover of Formal Methods: Foundations and Applications

More books from Springer International Publishing

bigCover of the book Contributions to Sampling Statistics by
bigCover of the book Techniques of Neurolysis by
bigCover of the book Atlas of Ecosystem Services by
bigCover of the book Numerical Methods for Nonlinear Partial Differential Equations by
bigCover of the book Caribbean Achievement in Britain by
bigCover of the book Operations Research and Enterprise Systems by
bigCover of the book The Mathematics and Biology of the Biodistribution of Radiopharmaceuticals - A Clinical Perspective by
bigCover of the book Economics of Happiness by
bigCover of the book Flexible Approaches in Data, Information and Knowledge Management by
bigCover of the book Biofilm-based Healthcare-associated Infections by
bigCover of the book Operative Dictations in Ophthalmology by
bigCover of the book Enric Trillas: A Passion for Fuzzy Sets by
bigCover of the book Autonomy and Artificial Intelligence: A Threat or Savior? by
bigCover of the book Instructor's Manual for Strategic Marketing Cases in Emerging Markets by
bigCover of the book Causal Inference in Econometrics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy