Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008980760/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog contributor b12620328.
- catalog contributor b12620329.
- catalog contributor b12620330.
- catalog created "c2002.".
- catalog date "2002".
- catalog date "c2002.".
- catalog dateCopyrighted "c2002.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Little Engines of Proof / Natarajan Shankar -- Automated Boundary Testing from Z and B / Bruno Legeard, Fabien Peureux and Mark Utting -- Improvements in Coverability Analysis / Gil Ratsaby, Baruch Sterin and Shmuel Ur -- Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study / Juan C. Burguillo-Rial, Manuel J. Fernandez-Iglesias, Francisco J. Gonzalez-Castano and Martin Llamas-Nistal -- UniTesK Test Suite Architecture / Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin and Alexander K. Petrenko -- Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited / David von Oheimb and Tobias Nipkow -- Do Not Read This / Juan C. Bicarregui.".
- catalog extent "xi, 624 p. :".
- catalog hasFormat "Also available via the World Wide Web.".
- catalog identifier "3540439285 (softcover : alk. paper)".
- catalog isFormatOf "Also available via the World Wide Web.".
- catalog isPartOf "Lecture notes in computer science ; 2391".
- catalog issued "2002".
- catalog issued "c2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Also available via the World Wide Web.".
- catalog subject "005.1 21".
- catalog subject "Computer software Development Congresses.".
- catalog subject "Formal methods (Computer science) Congresses.".
- catalog subject "QA76.76.D47 I593 2002".
- catalog subject "System design Mathematics Congresses.".
- catalog tableOfContents "Little Engines of Proof / Natarajan Shankar -- Automated Boundary Testing from Z and B / Bruno Legeard, Fabien Peureux and Mark Utting -- Improvements in Coverability Analysis / Gil Ratsaby, Baruch Sterin and Shmuel Ur -- Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study / Juan C. Burguillo-Rial, Manuel J. Fernandez-Iglesias, Francisco J. Gonzalez-Castano and Martin Llamas-Nistal -- UniTesK Test Suite Architecture / Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin and Alexander K. Petrenko -- Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited / David von Oheimb and Tobias Nipkow -- Do Not Read This / Juan C. Bicarregui.".
- catalog title "FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).".
- catalog type "text".