Software prototyping, formal methods and VDM:
Gespeichert in:
Beteiligte Personen: | , |
---|---|
Format: | Buch |
Sprache: | Englisch |
Veröffentlicht: |
Wokingham, England [u.a.]
Addison-Wesley
1988
|
Ausgabe: | 1. publ. |
Schriftenreihe: | International computer science series
|
Schlagwörter: | |
Umfang: | X, 222 S. graph. Darst. |
ISBN: | 020117572X |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV021892786 | ||
003 | DE-604 | ||
005 | 20040301000000.0 | ||
007 | t| | ||
008 | 900830s1988 xx d||| |||| 00||| eng d | ||
020 | |a 020117572X |9 0-201-17572-X | ||
035 | |a (OCoLC)18134579 | ||
035 | |a (DE-599)BVBBV021892786 | ||
040 | |a DE-604 |b ger | ||
041 | 0 | |a eng | |
049 | |a DE-706 | ||
050 | 0 | |a QA76.76.D47 | |
082 | 0 | |a 005.1/1 |2 19 | |
100 | 1 | |a Hekmatpour, Sharam |e Verfasser |4 aut | |
245 | 1 | 0 | |a Software prototyping, formal methods and VDM |c Sharam Hekmatpour ; Darrel Ince |
250 | |a 1. publ. | ||
264 | 1 | |a Wokingham, England [u.a.] |b Addison-Wesley |c 1988 | |
300 | |a X, 222 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a International computer science series | |
650 | 7 | |a EPROS |2 inriac | |
650 | 7 | |a Génie logiciel |2 ram | |
650 | 7 | |a Spécifications |2 ram | |
650 | 7 | |a VDM |2 inriac | |
650 | 7 | |a développement logiciel |2 inriac | |
650 | 7 | |a environnement UNIX |2 inriac | |
650 | 7 | |a méthode formelle |2 inriac | |
650 | 7 | |a prototypage |2 inriac | |
650 | 4 | |a Computer software |x Development | |
650 | 4 | |a Formal methods (Computer science) | |
650 | 0 | 7 | |a Prototyp |0 (DE-588)4206907-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a UNIX |0 (DE-588)4061835-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Prototyping |0 (DE-588)4205527-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a UNIX |0 (DE-588)4061835-3 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Prototyp |0 (DE-588)4206907-5 |D s |
689 | 2 | |5 DE-604 | |
689 | 3 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
689 | 3 | 1 | |a Prototyping |0 (DE-588)4205527-1 |D s |
689 | 3 | |8 1\p |5 DE-604 | |
700 | 1 | |a Ince, Darrel |d 1948- |e Verfasser |0 (DE-588)123876478 |4 aut | |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015107983 |
Datensatz im Suchindex
_version_ | 1818963378695045120 |
---|---|
any_adam_object | |
author | Hekmatpour, Sharam Ince, Darrel 1948- |
author_GND | (DE-588)123876478 |
author_facet | Hekmatpour, Sharam Ince, Darrel 1948- |
author_role | aut aut |
author_sort | Hekmatpour, Sharam |
author_variant | s h sh d i di |
building | Verbundindex |
bvnumber | BV021892786 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.76.D47 |
callnumber-search | QA76.76.D47 |
callnumber-sort | QA 276.76 D47 |
callnumber-subject | QA - Mathematics |
ctrlnum | (OCoLC)18134579 (DE-599)BVBBV021892786 |
dewey-full | 005.1/1 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1/1 |
dewey-search | 005.1/1 |
dewey-sort | 15.1 11 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
edition | 1. publ. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02083nam a2200613zc 4500</leader><controlfield tag="001">BV021892786</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900830s1988 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">020117572X</subfield><subfield code="9">0-201-17572-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18134579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021892786</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1</subfield><subfield code="2">19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hekmatpour, Sharam</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software prototyping, formal methods and VDM</subfield><subfield code="c">Sharam Hekmatpour ; Darrel Ince</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wokingham, England [u.a.]</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 222 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">International computer science series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">EPROS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Spécifications</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">VDM</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">environnement UNIX</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">prototypage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prototyp</subfield><subfield code="0">(DE-588)4206907-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">UNIX</subfield><subfield code="0">(DE-588)4061835-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prototyping</subfield><subfield code="0">(DE-588)4205527-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">UNIX</subfield><subfield code="0">(DE-588)4061835-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Prototyp</subfield><subfield code="0">(DE-588)4206907-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Prototyping</subfield><subfield code="0">(DE-588)4205527-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ince, Darrel</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123876478</subfield><subfield code="4">aut</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015107983</subfield></datafield></record></collection> |
id | DE-604.BV021892786 |
illustrated | Illustrated |
indexdate | 2024-12-20T12:44:16Z |
institution | BVB |
isbn | 020117572X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015107983 |
oclc_num | 18134579 |
open_access_boolean | |
owner | DE-706 |
owner_facet | DE-706 |
physical | X, 222 S. graph. Darst. |
publishDate | 1988 |
publishDateSearch | 1988 |
publishDateSort | 1988 |
publisher | Addison-Wesley |
record_format | marc |
series2 | International computer science series |
spelling | Hekmatpour, Sharam Verfasser aut Software prototyping, formal methods and VDM Sharam Hekmatpour ; Darrel Ince 1. publ. Wokingham, England [u.a.] Addison-Wesley 1988 X, 222 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International computer science series EPROS inriac Génie logiciel ram Spécifications ram VDM inriac développement logiciel inriac environnement UNIX inriac méthode formelle inriac prototypage inriac Computer software Development Formal methods (Computer science) Prototyp (DE-588)4206907-5 gnd rswk-swf UNIX (DE-588)4061835-3 gnd rswk-swf Prototyping (DE-588)4205527-1 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Software (DE-588)4055382-6 s DE-604 UNIX (DE-588)4061835-3 s Prototyp (DE-588)4206907-5 s Software Engineering (DE-588)4116521-4 s Prototyping (DE-588)4205527-1 s 1\p DE-604 Ince, Darrel 1948- Verfasser (DE-588)123876478 aut 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Hekmatpour, Sharam Ince, Darrel 1948- Software prototyping, formal methods and VDM EPROS inriac Génie logiciel ram Spécifications ram VDM inriac développement logiciel inriac environnement UNIX inriac méthode formelle inriac prototypage inriac Computer software Development Formal methods (Computer science) Prototyp (DE-588)4206907-5 gnd UNIX (DE-588)4061835-3 gnd Prototyping (DE-588)4205527-1 gnd Software (DE-588)4055382-6 gnd Software Engineering (DE-588)4116521-4 gnd |
subject_GND | (DE-588)4206907-5 (DE-588)4061835-3 (DE-588)4205527-1 (DE-588)4055382-6 (DE-588)4116521-4 |
title | Software prototyping, formal methods and VDM |
title_auth | Software prototyping, formal methods and VDM |
title_exact_search | Software prototyping, formal methods and VDM |
title_full | Software prototyping, formal methods and VDM Sharam Hekmatpour ; Darrel Ince |
title_fullStr | Software prototyping, formal methods and VDM Sharam Hekmatpour ; Darrel Ince |
title_full_unstemmed | Software prototyping, formal methods and VDM Sharam Hekmatpour ; Darrel Ince |
title_short | Software prototyping, formal methods and VDM |
title_sort | software prototyping formal methods and vdm |
topic | EPROS inriac Génie logiciel ram Spécifications ram VDM inriac développement logiciel inriac environnement UNIX inriac méthode formelle inriac prototypage inriac Computer software Development Formal methods (Computer science) Prototyp (DE-588)4206907-5 gnd UNIX (DE-588)4061835-3 gnd Prototyping (DE-588)4205527-1 gnd Software (DE-588)4055382-6 gnd Software Engineering (DE-588)4116521-4 gnd |
topic_facet | EPROS Génie logiciel Spécifications VDM développement logiciel environnement UNIX méthode formelle prototypage Computer software Development Formal methods (Computer science) Prototyp UNIX Prototyping Software Software Engineering |
work_keys_str_mv | AT hekmatpoursharam softwareprototypingformalmethodsandvdm AT incedarrel softwareprototypingformalmethodsandvdm |