Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
5238 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 382 S. graph. Darst. 24 cm |
| ISBN: | 9783540876021 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035090779 | ||
| 003 | DE-604 | ||
| 005 | 20081117 | ||
| 007 | t| | ||
| 008 | 081009s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N36,0008 |2 dnb | ||
| 015 | |a 08,A40,0009 |2 dnb | ||
| 016 | 7 | |a 99008955X |2 DE-101 | |
| 020 | |a 9783540876021 |c kart. : EUR 56.66 (freier Pr.), sfr 88.00 (freier Pr.) |9 978-3-540-87602-1 | ||
| 024 | 3 | |a 9783540876021 | |
| 028 | 5 | 2 | |a 12518180 |
| 035 | |a (OCoLC)251304166 | ||
| 035 | |a (DE-599)DNB99008955X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 005.12 |2 22/ger | |
| 082 | 0 | |a 005.12 |2 22//ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Abstract state machines, B and Z |b first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings |c Egon Börger ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XII, 382 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5238 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a B method (Computer science) |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 4 | |a Z (Computer program language) |v Congresses | |
| 650 | 0 | 7 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a B-Methode |0 (DE-588)4723939-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Zustandsmaschine |0 (DE-588)4637783-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Abstrakte Zustandsmaschine |0 (DE-588)4637783-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a B-Methode |0 (DE-588)4723939-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Börger, Egon |e Sonstige |4 oth | |
| 711 | 2 | |a ABZ |n 1 |d 2008 |c London |j Sonstige |0 (DE-588)10356840-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5238 |w (DE-604)BV000000607 |9 5238 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016758903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016758903 | |
Datensatz im Suchindex
| _version_ | 1820875074070118400 |
|---|---|
| adam_text |
* * * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/99008955X
DIGITALISIERT DURCH * * * * * * * * * * * * 381 XII TABLE OF CONTENTS
BSMART: A TOOL FOR THE DEVELOPMENT OF JAVA CARD APPLICATIONS WITH THE B
METHOD 351 DAVID DEHARBE, BRUNO GOMES, AND ANAMARIA MOREIRA FROM ABZ TO
CRYPTOGRAPHY (ABSTRACT) 353 EERKE A. BOXTEN USING ASM TO ACHIEVE
EXECUTABILITY WITHIN A FAMILY OF DSL 354 TLEANA OBER AND ALI ABOU DIB
USING SATISFIABILITY MODULO THEORIES TO ANALYZE ABSTRACT STATE MACHINES
(ABSTRACT) 355 MARGUS VEANES AND ANDO SAABAS FORMAL VERIFICATION OF ASM
MODELS USING TLA+ 356 HOCINE EL-HABIB DAHO AND DJILALI BENHAMAMOUCH DIR
41 CASE STUDY: HOW EVENT-B CAN IMPROVE AN INDUSTRIAL SYSTEM
SPECIFICATION 357 CHRISTOPHE METAYER AND MATHIEU CIABAUT FDIR
ARCHITECTURES FOR AUTONOMOUS SPACECRAFT: SPECIFICATION AND ASSESSMENT
WITH EVENT-B 358 JEAN-CHARLES CHAUDEMAR, CHARLES CASTEL, AND CHRISTEL
SEGUIN OBJECT MODELLING IN THE SYSTEMB INDUSTRIAL PROJECT 359 HELEN
TREHARNE, EDWARD TURNER, STEVE SCHNEIDER, AND NEIL EVANS CHAPTER 6. VSR
DAY SPLITTING ATOMS WITH RELY/GUARANTEE CONDITIONS COUPLED WITH DATA
REIFICATION 360 CLIFF B. JONES AND KEN G. PIERCE ABZ2008 VSR-NET
WORKSHOP 378 JIM WOODCOCK AND PAUL BOCA AUTHOR INDEX |
| adam_txt |
* * * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/99008955X
DIGITALISIERT DURCH * * * * * * * * * * * * 381 XII TABLE OF CONTENTS
BSMART: A TOOL FOR THE DEVELOPMENT OF JAVA CARD APPLICATIONS WITH THE B
METHOD 351 DAVID DEHARBE, BRUNO GOMES, AND ANAMARIA MOREIRA FROM ABZ TO
CRYPTOGRAPHY (ABSTRACT) 353 EERKE A. BOXTEN USING ASM TO ACHIEVE
EXECUTABILITY WITHIN A FAMILY OF DSL 354 TLEANA OBER AND ALI ABOU DIB
USING SATISFIABILITY MODULO THEORIES TO ANALYZE ABSTRACT STATE MACHINES
(ABSTRACT) 355 MARGUS VEANES AND ANDO SAABAS FORMAL VERIFICATION OF ASM
MODELS USING TLA+ 356 HOCINE EL-HABIB DAHO AND DJILALI BENHAMAMOUCH DIR
41 CASE STUDY: HOW EVENT-B CAN IMPROVE AN INDUSTRIAL SYSTEM
SPECIFICATION 357 CHRISTOPHE METAYER AND MATHIEU CIABAUT FDIR
ARCHITECTURES FOR AUTONOMOUS SPACECRAFT: SPECIFICATION AND ASSESSMENT
WITH EVENT-B 358 JEAN-CHARLES CHAUDEMAR, CHARLES CASTEL, AND CHRISTEL
SEGUIN OBJECT MODELLING IN THE SYSTEMB INDUSTRIAL PROJECT 359 HELEN
TREHARNE, EDWARD TURNER, STEVE SCHNEIDER, AND NEIL EVANS CHAPTER 6. VSR
DAY SPLITTING ATOMS WITH RELY/GUARANTEE CONDITIONS COUPLED WITH DATA
REIFICATION 360 CLIFF B. JONES AND KEN G. PIERCE ABZ2008 VSR-NET
WORKSHOP 378 JIM WOODCOCK AND PAUL BOCA AUTHOR INDEX |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV035090779 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)251304166 (DE-599)DNB99008955X |
| dewey-full | 005.12 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.12 |
| dewey-search | 005.12 |
| dewey-sort | 15.12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035090779</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081117</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">081009s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N36,0008</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A40,0009</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">99008955X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540876021</subfield><subfield code="c">kart. : EUR 56.66 (freier Pr.), sfr 88.00 (freier Pr.)</subfield><subfield code="9">978-3-540-87602-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540876021</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12518180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)251304166</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB99008955X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract state machines, B and Z</subfield><subfield code="b">first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings</subfield><subfield code="c">Egon Börger ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 382 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5238</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">B method (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Z (Computer program language)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">B-Methode</subfield><subfield code="0">(DE-588)4723939-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">London</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</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">B-Methode</subfield><subfield code="0">(DE-588)4723939-6</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">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ABZ</subfield><subfield code="n">1</subfield><subfield code="d">2008</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10356840-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5238</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5238</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016758903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016758903</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 London gnd-content |
| genre_facet | Konferenzschrift 2008 London |
| id | DE-604.BV035090779 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:10:36Z |
| indexdate | 2025-01-10T15:09:51Z |
| institution | BVB |
| institution_GND | (DE-588)10356840-2 |
| isbn | 9783540876021 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016758903 |
| oclc_num | 251304166 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XII, 382 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings Egon Börger ... (ed.) Berlin [u.a.] Springer 2008 XII, 382 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5238 Literaturangaben B method (Computer science) Congresses Machine theory Congresses Z (Computer program language) Congresses Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf B-Methode (DE-588)4723939-6 gnd rswk-swf Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 London gnd-content Abstrakte Zustandsmaschine (DE-588)4637783-9 s DE-604 B-Methode (DE-588)4723939-6 s Z Programmiersprache (DE-588)4225739-6 s Börger, Egon Sonstige oth ABZ 1 2008 London Sonstige (DE-588)10356840-2 oth Lecture notes in computer science 5238 (DE-604)BV000000607 5238 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016758903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings Lecture notes in computer science B method (Computer science) Congresses Machine theory Congresses Z (Computer program language) Congresses Z Programmiersprache (DE-588)4225739-6 gnd B-Methode (DE-588)4723939-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd |
| subject_GND | (DE-588)4225739-6 (DE-588)4723939-6 (DE-588)4637783-9 (DE-588)1071861417 |
| title | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings |
| title_auth | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings |
| title_exact_search | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings |
| title_exact_search_txtP | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings |
| title_full | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings Egon Börger ... (ed.) |
| title_fullStr | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings Egon Börger ... (ed.) |
| title_full_unstemmed | Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings Egon Börger ... (ed.) |
| title_short | Abstract state machines, B and Z |
| title_sort | abstract state machines b and z first international conference abz 2008 london uk september 16 18 2008 proceedings |
| title_sub | first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings |
| topic | B method (Computer science) Congresses Machine theory Congresses Z (Computer program language) Congresses Z Programmiersprache (DE-588)4225739-6 gnd B-Methode (DE-588)4723939-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd |
| topic_facet | B method (Computer science) Congresses Machine theory Congresses Z (Computer program language) Congresses Z Programmiersprache B-Methode Abstrakte Zustandsmaschine Konferenzschrift 2008 London |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016758903&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT borgeregon abstractstatemachinesbandzfirstinternationalconferenceabz2008londonukseptember16182008proceedings AT abzlondon abstractstatemachinesbandzfirstinternationalconferenceabz2008londonukseptember16182008proceedings |