Recent Trends in Algebraic Development Techniques
Jose Luiz Fiadeiro
₹5,552
Categories for Software Engineering
Springer · 2005
₹3,749
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
Published by Springer in 2005, Categories for Software Engineering by José Luiz Fiadeiro runs to 250 pages.
The book deals with Categories (Mathematics), Computer software, Development and Software engineering.
About the author: José Luiz Fiadeiro (born 1961).
Book details
- ISBN-13
- 9783540209096
- ISBN-10
- 3540209093
- Author
- José Luiz Fiadeiro
- Publisher
- Springer
- Author dates
- José Luiz Fiadeiro (born 1961)
- Published
- 2005
- Pages
- 250
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Ionuț Țuțu
₹4,227
Abstraction, Refinement and Proof for Probabilistic Systems
Charles Carroll Morgan, Annabelle McIver
₹12,055
Formal Methods at the Crossroads
Bernhard K. Aichernig
₹4,256
Foundations of Software Science and Computation Structures
Maurice Nivat
₹5,527
Fundamental Approaches to Software Engineering
Mauro Pezzè
₹5,722
Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Fundamental Approaches to Software Engineering
Vittorio Cortellessa, Dániel Varró
₹3,961
Latin '95
Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
₹5,647
Applications and Theory of Petri Nets
Johan Lilius, Wojciech Penczek
₹5,559
Spice
Ernst E. E. Hoefer, Horst Nielinger
₹3,508
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281