Formal Methods for Open Object-based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
₹4,252
Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2014 · Paperback
₹3,777
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
Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop by Marcello M. Bonsangue is a 245-page paperback edition published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2014.
The book deals with Computer software, Computer science, Logic design and Mathematical Logic and Formal Languages.
Book details
- ISBN-13
- 9783662441237
- ISBN-10
- 3662441233
- Author
- Marcello M. Bonsangue
- Published
- 2014
- Edition
- 2014 ed.
- Binding
- Paperback
- Pages
- 245
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Marcello M. Bonsangue and related titles
Latin '95
Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
₹5,647
Programming and Mathematical Method
Manfred Broy
₹7,733
Logic Circuit Design
Shimon P. Vingron
₹11,253
Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
The Design of a Microprocessor
Wilhelm G. Spruth
₹3,913
Hybrid Systems
Rajeev Alur
₹8,177
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi, Andreas Podelski
₹3,171
Machines, Computations, and Universality
Maurice Margenstern
₹5,662
Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
Übersetzerbau
Ralf Hartmut Güting, Martin Erwig
₹2,415
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani
₹5,586