ITIL Foundation All-in-One Exam Guide
Jim Davies
₹2,203
Formal Methods
13th Brazilian Symposium on Formal Methods
by Jim Davies, Leila Silva, Adenilso Simao
Springer · 2011
₹5,534
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
Formal Methods: 13th Brazilian Symposium on Formal Methods is written by Jim Davies, Leila Silva & others. This edition from Springer (2011).
Its main subjects are Logic design, Information Systems, Computer science and Software engineering.
Book details
- ISBN-13
- 9783642198281
- ISBN-10
- 3642198287
- Authors
- Jim Davies, Leila Silva, Adenilso Simao
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Jim Davies and related titles
Logics in Artificial Intelligence
Tomi Janhunen, Ilkka Niemelä
₹5,580
Programming Languages and Their Definition
H. Bekic, C. B. Jones
₹5,518
Digital Logic Design
Guy Even, Moti Medina
₹4,599
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Reasoning Web. Semantic Technologies for Information Systems
Sergio Tessaris
₹3,111
Machines, Computations, and Universality
Maurice Margenstern
₹5,662
Advanced Digital Logic Design Using VHDL, State Machines, and Synthesis for FPGA's
Sunggu Lee
₹9,149
Logic Programming '87
Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
₹5,542
Theoretische Informatik
Klaus W. Wagner
₹2,155
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, Samson Abramsky
₹4,297
Fundamentals of Digital Logic with VHDL Design
Stephen D. Brown
₹4,022