Elementary logic for software development / Robert Lover

Author(s): Lover, Robert
Online: Connect to OhioLINK EBC
Location:
Retrieving Holdings Information
Subjects: Computer software--Development--Methodology
Reasoning
Electronic books
Formats: Electronic Resource, Remote
Material Type: Books
Language: English
Audience: Unspecified
Published: London : Springer, c2008
LC Classification: Q, QA
Physical Description: xiv, 313 p. ; 24 cm
Alternate Titles: In: SpringerLink (OCoLC)43927870
In: OhioLINK electronic book center (Online) (OCoLC)180989150
Notes: LCCN: 2008928865
ISBN: 9781848000810
ISBN: 1848000812
ISBN: 9781848000827 (e-isbn)
ISBN: 1848000820 (e-isbn)
Includes bibliographical references (p. 305-308) and index
Available to OhioLINK libraries
Reproduction notes: Electronic reproduction. Berlin : Springer, 2008. System requirements: Adobe Acrobat Reader and Internet browser; text in HTML and PDF. Mode of access: World Wide Web. Title from title screen; description based on content as of July 10, 2009. Access restricted to subscribing institution. Also available in print
OCLC Number: 304518860
ISBN/ISSN: 9781848000810
1848000812
9781848000827
1848000820