Theory and practice of formal methods: Essays dedicated to Frank de Boer on the occasion of his 60th birthday
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
[Cham]
Springer
[2016]
|
| Series: | Lecture Notes in Computer Science
9660 |
| Subjects: | |
| Online Access: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FRO01 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource XII, 427 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319307343 9783319307336 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-30734-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043503888 | ||
| 003 | DE-604 | ||
| 005 | 20160708 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160411s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319307343 |c Online |9 978-3-319-30734-3 | ||
| 020 | |a 9783319307336 |c Print |9 978-3-319-30733-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-30734-3 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-319-30734-3 | ||
| 035 | |a (ZDB-2-LNC)978-3-319-30734-3 | ||
| 035 | |a (OCoLC)946146422 | ||
| 035 | |a (DE-599)BVBBV043503888 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-523 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Theory and practice of formal methods |b Essays dedicated to Frank de Boer on the occasion of his 60th birthday |c edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Ressource XII, 427 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v Volume 9660 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Ábrahám, Erika |d 1970- |0 (DE-588)173826598 |4 edt | |
| 700 | 1 | |a Boer, Frank S. de |4 hnr | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9660 |w (DE-604)BV014880109 |9 9660 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-30734-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920233&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920233&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028920233 | ||
| 966 | e | |l BTU01 |u https://doi.org/10.1007/978-3-319-30734-3 |p ZDB-2-LNC |q ZDB-2-LNC-2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FHA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FHI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FHR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UBM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-319-30734-3 |p ZDB-2-LNC |q ZDB-2-LNC-2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30734-3 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804176140978356224 |
|---|---|
| adam_text | THEORY AND PRACTICE OF FORMAL METHODS
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PROGRAM VERIFICATION: TO ERR IS HUMAN
FOND (AND FRANK) MEMORIES OF FRANK
WARMEST CONGRATULATIONS, FRANK
CONFORMANCE CHECKING OF REAL-TIME MODELS: SYMBOLIC EXECUTION VS. BOUNDED
MODEL CHECKING
RESOURCE ANALYSIS OF DISTRIBUTED SYSTEMS
COMPARING TRACE EXPRESSIONS AND LINEAR TEMPORAL LOGIC FOR RUNTIME
VERIFICATION
PROPER PROTOCOL
A COMPOSITIONAL APPROACH TO THE VERIFICATION OF HYBRID SYSTEMS
ARRAY ABSTRACTION WITH SYMBOLIC PIVOTS
MODELING ROLE-BASED SYSTEMS WITH EXOGENOUS COORDINATION
VATS: A SAFE, REACTIVE STORAGE ABSTRACTION
DENOTATIONAL AND OPERATIONAL PRECISENESS OF SUBTYPING: A ROADMAP
A SOUND AND COMPLETE HOARE LOGIC FOR DYNAMICALLY-TYPED, OBJECT-ORIENTED
PROGRAMS
SELF-RECONFIGURING MICROSERVICES
STATICALLY AND DYNAMICALLY VERIFIABLE SLA METRICS
EFFECTIVELY ELIMINATING AUXILIARIES
TOWARDS A PROOF METHOD FOR PARADIGM
TOWARD A FORMAL FOUNDATION FOR TIME TRAVEL IN STORIES AND GAMES
INDUSTRIAL APPLICATION OF FORMAL MODELS GENERATED FROM DOMAIN SPECIFIC
LANGUAGES
FORMAL VERIFICATION OF OPEN NORMATIVE MULTI-AGENT SYSTEM
MOESSNER’S THEOREM: AN EXERCISE IN COINDUCTIVE REASONING IN COQ
TOWARDS A KOOL FUTURE
ON THE EXPRESSIVENESS OF SYNCHRONIZATION IN COMPONENT DEPLOYMENT
CHARACTERISATION OF SIMULATION BY PROBABILISTIC TESTING
ON TIME ACTORS
A SMALL-STEP SEMANTICS OF A CONCURRENT CALCULUS WITH GOROUTINES AND
DEFERRED FUNCTIONS
QUICKSORT REVISITED - VERIFYING ALTERNATIVE VERSIONS OF QUICKSORT
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
THEORY AND PRACTICE OF FORMAL METHODS
/
: 2016
ABSTRACT / INHALTSTEXT
THIS FESTSCHRIFT VOLUME HAS BEEN PUBLISHED IN HONOR OF FRANK DE BOER, ON
THE OCCASION OF HIS 60TH BIRTHDAY. FRANK S. DE BOER IS A PROMINENT
MEMBER OF THE RESEARCH COMMUNITY IN FORMAL METHODS AND THEORETICAL
COMPUTER SCIENCE. A BRIEF LOOK AT HIS LENGTHY PUBLICATION LIST REVEALS A
BROAD AREA OF INTEREST AND A VERSATILE MODUS OPERANDI WITH: LOGIC AND
CONSTRAINT PROGRAMMING; DEDUCTIVE PROOF SYSTEMS, SOUNDNESS, AND
COMPLETENESS; SEMANTICS, COMPOSITIONALITY, AND FULL ABSTRACTION; PROCESS
ALGEBRA AND DECIDABILITY; MULTITHREADING AND ACTOR-BASED CONCURRENCY;
AGENT PROGRAMMING, ONTOLOGIES, AND MODAL LOGIC; REAL-TIME SYSTEMS, TIMED
AUTOMATA, AND SCHEDULABILITY; ENTERPRISE ARCHITECTURES, CHOREOGRAPHY,
AND COORDINATION; TESTING AND RUNTIME MONITORING; AND CLOUD COMPUTING
AND SERVICE-LEVEL AGREEMENTS. FOR A WHILE, HE ALSO LIKED FAILURES,
ESPECIALLY IN SEMANTICS, AND OPTIMISTICALLY CONCLUDED WITH THE FAILURE
OF FAILURES. IN FACT, FRANK HAS AN OPPORTUNISTIC APPROACH TO RESEARCH.
RATHER THAN SEEING OBSTACLES, HE FINDS OPPORTUNITIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Ábrahám, Erika 1970- |
| author2_role | edt |
| author2_variant | e á eá |
| author_GND | (DE-588)173826598 |
| author_facet | Ábrahám, Erika 1970- |
| building | Verbundindex |
| bvnumber | BV043503888 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)978-3-319-30734-3 (ZDB-2-LNC)978-3-319-30734-3 (OCoLC)946146422 (DE-599)BVBBV043503888 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-30734-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04775nmm a2200865zcb4500</leader><controlfield tag="001">BV043503888</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160708 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160411s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319307343</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-30734-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319307336</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-30733-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-30734-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-319-30734-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)978-3-319-30734-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946146422</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043503888</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and practice of formal methods</subfield><subfield code="b">Essays dedicated to Frank de Boer on the occasion of his 60th birthday</subfield><subfield code="c">edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource XII, 427 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">Volume 9660</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ábrahám, Erika</subfield><subfield code="d">1970-</subfield><subfield code="0">(DE-588)173826598</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boer, Frank S. de</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9660</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9660</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028920233&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028920233&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028920233</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">BTU01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC-2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC-2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30734-3</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV043503888 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:27:27Z |
| institution | BVB |
| isbn | 9783319307343 9783319307336 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028920233 |
| oclc_num | 946146422 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-523 |
| physical | 1 Online-Ressource XII, 427 Seiten Illustrationen, Diagramme |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC-2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture notes in computer science |
| spelling | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen [Cham] Springer [2016] © 2016 1 Online-Ressource XII, 427 Seiten Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science Volume 9660 0302-9743 Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz (DE-588)4016928-5 Festschrift gnd-content Ábrahám, Erika 1970- (DE-588)173826598 edt Boer, Frank S. de hnr Lecture Notes in Computer Science 9660 (DE-604)BV014880109 9660 https://doi.org/10.1007/978-3-319-30734-3 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920233&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920233&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday Lecture Notes in Computer Science Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz |
| subject_GND | (DE-588)4016928-5 |
| title | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_auth | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_exact_search | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_full | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
| title_fullStr | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
| title_full_unstemmed | Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
| title_short | Theory and practice of formal methods |
| title_sort | theory and practice of formal methods essays dedicated to frank de boer on the occasion of his 60th birthday |
| title_sub | Essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| topic | Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz Festschrift |
| url | https://doi.org/10.1007/978-3-319-30734-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920233&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920233&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT abrahamerika theoryandpracticeofformalmethodsessaysdedicatedtofrankdeboerontheoccasionofhis60thbirthday AT boerfranksde theoryandpracticeofformalmethodsessaysdedicatedtofrankdeboerontheoccasionofhis60thbirthday |