
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Judith Przigoda, Rolf Drechsler, Robert Wille, Nils Przigoda
₹9,847
Showing 1–24 of 1,145 books

Judith Przigoda, Rolf Drechsler, Robert Wille, Nils Przigoda
₹9,847

Upton Sinclair
₹1,483

Michael A. Tompkins
₹2,643

M. Raiya
₹3,404

Francis Delaisi
₹10,407

Scott Selikoff, Jeanne Boyarsky
₹2,340

Gavin Bridge, Philippe Le Billon
₹4,278

Toby Shelley
₹3,784

Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz
₹4,313

Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz
₹3,707

Tom Bower
₹8,274

James Laxer
₹4,376

Robert R. Wheeler, Maurine Whited
₹4,132

O.L. Shanmugasundaram
₹14,056

Grey Owl
₹2,245

Grey Owl
₹3,753

Owl Goingback
₹3,954

Fadhil J. Chalabi
₹3,085

Dwijen K. Banerjee
₹6,855

Elisabetta Bini, Giuliano Garavini, Federico Romero
₹18,495

Manuel R. Millor
₹13,612

K. Wayne Smith
₹4,651

Shelby Alinsky, National Geographic Kids
₹1,348

Norman Walker Porteous
₹3,426