Foundations of Software Technology and Theoretical Computer Science
Conjeevaram E. Veni Madhavan
₹5,549
Runtime Verification
Second international Conference
by Koushik Sen, Sarfaz Khurshid
Springer · 2012 · Paperback
₹5,672
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Runtime Verification: Second international Conference by Koushik Sen & Sarfaz Khurshid is a 470-page paperback edition published by Springer in 2012.
Topics covered include Computer software, Congresses, Verification and Formal methods (Computer science).
Book details
- ISBN-13
- 9783642298592
- ISBN-10
- 3642298591
- Authors
- Koushik Sen, Sarfaz Khurshid
- Publisher
- Springer
- Published
- 2012
- Binding
- Paperback
- Pages
- 470
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Component-Based Software Engineering
Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt
₹5,551
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Fundamental Approaches to Software Engineering
David S. Rosenblum
₹5,774
Concrete Semantics
Gerwin Klein, Tobias Nipkow
₹6,228
Petrinetze
Wolfgang Reisig
₹3,508
Objektorientierter Softwareentwurf
Ruth Breu
₹3,508
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Trends in Functional Programming
Rex Page, Zoltan Horvath, Viktoria Zsók
₹5,705
Stacs 91
Christian Choffrut, Matthias Jantzen
₹4,526