Software specification methods

Software specification methods / edited by Henri Habrias, Marc Frappier.

Saved in:
Bibliographic Details
:
ProQuest (Firm)
TeilnehmendeR:
Habrias, Henri.
Frappier, Marc, 1965-
ProQuest (Firm)
Year of Publication:2006
Edition:2nd ed.
Language:English
Online Access:
Physical Description:xxv, 418 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500700744
ctrlnum (MiAaPQ)500700744
(Au-PeEL)EBL700744
(CaPaEBR)ebr10360912
(CaONFJC)MIL51062
(OCoLC)769341530
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01373nam a22003854a 4500</leader><controlfield tag="001">500700744</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">060317s2006 enka sb 001 0 eng </controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2006009290</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1905209347</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781905209347</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500700744</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL700744</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10360912</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL51062</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)769341530</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.F67</subfield><subfield code="b">S64 2006</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004/.01/51</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Software specification methods</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">edited by Henri Habrias, Marc Frappier.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2nd ed.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London ;</subfield><subfield code="a">Newport Beach, CA :</subfield><subfield code="b">ISTE Ltd,</subfield><subfield code="c">2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxv, 418 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="v">Specifications.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Habrias, Henri.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Frappier, Marc,</subfield><subfield code="d">1965-</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=700744</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Software specification methods [electronic resource] / edited by Henri Habrias, Marc Frappier.
2nd ed.
London ; Newport Beach, CA : ISTE Ltd, 2006.
xxv, 418 p. : ill.
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Formal methods (Computer science)
Computer software Specifications.
Electronic books.
Habrias, Henri.
Frappier, Marc, 1965-
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=700744 Click to View
language English
format Electronic
eBook
author2 Habrias, Henri.
Frappier, Marc, 1965-
ProQuest (Firm)
author_facet Habrias, Henri.
Frappier, Marc, 1965-
ProQuest (Firm)
ProQuest (Firm)
author2_variant h h hh
m f mf
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Habrias, Henri.
title Software specification methods
spellingShingle Software specification methods
title_full Software specification methods [electronic resource] / edited by Henri Habrias, Marc Frappier.
title_fullStr Software specification methods [electronic resource] / edited by Henri Habrias, Marc Frappier.
title_full_unstemmed Software specification methods [electronic resource] / edited by Henri Habrias, Marc Frappier.
title_auth Software specification methods
title_new Software specification methods
title_sort software specification methods
publisher ISTE Ltd,
publishDate 2006
physical xxv, 418 p. : ill.
edition 2nd ed.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 F67 S64 42006
genre Electronic books.
genre_facet Specifications.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=700744
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 004 - Data processing & computer science
dewey-full 004/.01/51
dewey-sort 14 11 251
dewey-raw 004/.01/51
dewey-search 004/.01/51
oclc_num 769341530
work_keys_str_mv AT habriashenri softwarespecificationmethods
AT frappiermarc softwarespecificationmethods
AT proquestfirm softwarespecificationmethods
status_str n
ids_txt_mv (MiAaPQ)500700744
(Au-PeEL)EBL700744
(CaPaEBR)ebr10360912
(CaONFJC)MIL51062
(OCoLC)769341530
is_hierarchy_title Software specification methods
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330714508689408

Similar Items