This book is a comprehensive textbook in the field of Informatik/EDV, specifically in Formal Methods. It covers the 22nd International Symposium on Formal Methods held in Oxford, United Kingdom in July 2018. The book is a paperback/softback format with 692 pages in English language and published by Springer International Publishing A&G in 2018. The authors, Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de Vink, provide a detailed and informative guide to Formal Methods. This book is an essential reference for anyone who wants to learn about Formal Methods and its practical applications in the field of computer science.
Browsing: Paperback / softback
Author:Zinn, Howard. A People’s History of the United States: 1492 to Present (Modern Classics). World of Books USA was founded in 2005. We want your experience with World of Books to be enjoyable and problem free.
Author:Howard Zinn. A People’s History of the United States: 1492-Present (Modern Classics): 1492 to Present. World of Books USA was founded in 2005. We want your experience with World of Books to be enjoyable and problem free.
Author:Jeremiah, Dr. David. World of Books USA was founded in 2005. We want your experience with World of Books to be enjoyable and problem free. Book Condition:GOOD. We all like the idea of saving a bit of cash, so when we found out how many good quality used products are out there – we just had to let you know!