Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Judith Przigoda, Rolf Drechsler, Robert Wille, Nils Przigoda
₹9,847
Scalable Artificial Intelligence for Healthcare
Advancing Ai Solutions for Global Health Challenges
by Houneida Sakly, Ramzi Guetari, Naoufel Kraiem
CRC Pr I Llc · 2025
₹7,805
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹7,305 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
The publisher hasn't supplied a description for this edition. The details alongside are from the publisher's record.
Book details
- ISBN-13
- 9781032769608
- ISBN-10
- 1032769602
- Authors
- Houneida Sakly, Ramzi Guetari, Naoufel Kraiem
- Publisher
- CRC Pr I Llc
- Published
- 2025
- Edition
- 1
- Pages
- 154
- Language
- English
- Condition
- New
- Subject
- Computing & IT
More in Computing & IT
Handbuch Digitaler Bild- Und Filtereffekte
Hans D. Baumann
₹3,508
The Internet and Social Inequalitites
James C. Witte, Susan E. Mannon
₹15,346
Children’s Literature and Childhood Discourses
Anna Cermakova, Michaela Mahlberg
₹11,082
Media Research Techniques
Arthur Asa Berger
₹6,110
Regulatory Genomics
RECOMB Satellite Workshop on Regulatory Genomics (3rd 2006 National University of Singapore)
₹2,654
PHP Persistence
Michael Romer
₹1,874
The Human Respiratory System
Clara Mihaela Ionescu
₹12,319
Scattering Theories
Leung Tsang, Jin Au Kong, Kung-Hau Ding
₹17,847
A Selection of Image Processing Techniques
Yu-Jin Zhang
₹11,257
Implementierung Und Parallele Verarbeitung Von Kommunikationssoftware
Michael Rupprecht
₹3,249
Mathematical Methods for Protein Structure Anaylysis and Design
Sorin Istrail
₹4,267