Copied Specification, Algebra, and Software
Specification, Algebra, and Software
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Quantum Cybernetics
$54.99
Engels before Marx
$64.99
Nonlinear Partial Differential Equations and Applications
$34.99
Wemberly Worried
$5.21
Regularity Properties of Functional Equations in Several Variables
$109.99
Interreligise Kompetenz
$49.99
Receptor-Receptor Interactions: A New Intramembrane Integrative Mechanism
$74.99
Nikotinabhngigkeit
$74.99
Peppa Pig: A Magical Christmas (prev. Peppa's Magical Christmas)
$9.74
Dynamics of a Quantum Spin Liquid
$109.99
The Educational Work of Womens Organizations, 18901960
$39.99
Indicators of Environmental Quality
$54.99
Implementing REDD+ in Africa
$179.99
Sustainable Green Technologies for Environmental Management
$109.00
Communications Deregulation and FCC Reform: Finishing the Job
$109.99
Counselling Skills for Health Professionals
$54.99
VOB/B nach Ansprchen
$29.99
Alter und Technik
$49.99
Formal Methods and Stochastic Models for Performance Evaluation
$54.99
All About Chess and Computers
$39.99
Positive Neuropsychology
$49.99
Cruise Ship Handbook
$109.99
Lehrbuch der Allgemeinen Tierzucht
$59.99
Identity in Education
$54.99
Typenbasierte Integration von Markengemeinschaften
$44.99
Soziale Frage und Sozialpolitik in Deutschland seit Beginn des 19. Jahrhunderts
$44.99
Inquiry and Research Skills for Language Teachers
$64.99
Disability Practice
$59.99
Das flexible Unternehmen
$64.99
Spot Pricing of Electricity
$379.99
Understand, Manage, and Measure Cyber Risk
$59.99
Medical Manpower in the European Community
$109.99
Sportjournalismus
$24.99
Advances in Applied Mathematics and Approximation Theory
$109.99
Sicheres Netzwerkmanagement
$49.99
Marx und die Verwirklichung der Philosophie
$49.99
IUTAM Symposium on Advances in Mathematical Modelling of Atmosphere and Ocean Dynamics
$169.99
Scanning Probe Studies of Structural and Functional Properties of Ferroelectric Domains and Domain W
$109.99
Behindertwerden in der Identittsarbeit
$54.99
Intelligent Strategies for ICT
$219.99
