Alagar Karthick
Alagar Karthick
V. S. Alagar
Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia.
V. S. Alagar
This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development.
Mark M. Davis
M. Cristina Caimotto
Thomas Hardy Leahey
Ezra Lebank
J. A. Coetzee
Pirkko Koski
Viviane Clavier
Jayakrishnan M. Purushothama
Nigel Biggar
Jonas Kreienbaum
Tom Standage
Barbara Eppich Struna
Nancy caldwell uncovers a pirate mystery that had the old salts of cape cod wondering for close to 300 years in the historical fiction, the old cape house.
Nicolas Cressey
Isabelle Mus-Veteau
Northern Ireland: Northern Ireland Assembly
Mario Milman
Caz Finlay
Jessica Baldanzi
Arline McClarty Rollins
Catherine Xiaocui Lou
Jayne Cubbage
C. Simon Fan
James Crawford
J. C. Harroway
Dawn Joosten-Hagye
The Daily Mail DMG Media Ltd
Collins Big Cat
Esme Clemo
James MacNutt
Frances Sparrow
Antonio Russo
Philipp Gieg
Andrea Kouklanakis
Daniel Howarth
Olga Moreira
Steven S. Zumdahl
Marcia B. Siegel
Trudy Dittmar
Cornelius C. Vermeule
Molly Cone
Robert Napton
Peter Novick
A prizewinning historian offers a groundbreaking look at the changing fortunes of holocaust memory in america and provocatively questions the prominent role it now plays in our political and cultural life.
Elizabeth James
U. S. Office of Naval Records and Library
Stevan L. Davies
Stuart Woods
Georgia Lee
A day with a chumash provides an in-depth look at this native american culture.