Formal verification of control system software

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Garoche, Pierre-Loic (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Princeton ; Oxford Princeton University Press 2019
Schriftenreihe:Princeton series in applied mathematics
Online-Zugang:UBW01
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nmm a2200000 c 4500
001 BV045921019
003 DE-604
005 20240131
007 cr|uuu---uuuuu
008 190607s2019 |||| o||u| ||||||eng d
020 |a 9780691189581  |c PDF  |9 978-0-691-18958-1 
035 |a (OCoLC)1104942096 
035 |a (DE-599)BVBBV045921019 
040 |a DE-604  |b ger  |e rda 
041 0 |a eng 
049 |a DE-20 
100 1 |a Garoche, Pierre-Loic  |e Verfasser  |0 (DE-588)1189107899  |4 aut 
245 1 0 |a Formal verification of control system software  |c Pierre-Loic Garoche 
264 1 |a Princeton ; Oxford  |b Princeton University Press  |c 2019 
300 |a 1 Online-Ressource (viii, 219 Seiten) 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
338 |b cr  |2 rdacarrier 
490 0 |a Princeton series in applied mathematics 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |z 978-0-691-18130-1 
856 4 0 |u https://doi.org/10.1515/9780691189581  |x Verlag  |z URL des Erstveröffentlichers  |3 Volltext 
912 |a ZDB-23-DGG  |a ZDB-23-DMA 
999 |a oai:aleph.bib-bvb.de:BVB01-031303509 
966 e |u https://doi.org/10.1515/9780691189581  |l UBW01  |p ZDB-23-DMA  |q ZDB-23-DMA19  |x Verlag  |3 Volltext 

Datensatz im Suchindex

_version_ 1804180099489071104
any_adam_object
author Garoche, Pierre-Loic
author_GND (DE-588)1189107899
author_facet Garoche, Pierre-Loic
author_role aut
author_sort Garoche, Pierre-Loic
author_variant p l g plg
building Verbundindex
bvnumber BV045921019
collection ZDB-23-DGG
ZDB-23-DMA
ctrlnum (OCoLC)1104942096
(DE-599)BVBBV045921019
doi_str_mv 10.1515/9780691189581
format Electronic
eBook
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01176nmm a2200313 c 4500</leader><controlfield tag="001">BV045921019</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240131 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190607s2019 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780691189581</subfield><subfield code="c">PDF</subfield><subfield code="9">978-0-691-18958-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1104942096</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045921019</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-20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garoche, Pierre-Loic</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1189107899</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal verification of control system software</subfield><subfield code="c">Pierre-Loic Garoche</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton ; Oxford</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 219 Seiten)</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="0" ind2=" "><subfield code="a">Princeton series in applied mathematics</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-691-18130-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9780691189581</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="a">ZDB-23-DMA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031303509</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691189581</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="q">ZDB-23-DMA19</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id DE-604.BV045921019
illustrated Not Illustrated
indexdate 2024-07-10T08:30:23Z
institution BVB
isbn 9780691189581
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-031303509
oclc_num 1104942096
open_access_boolean
owner DE-20
owner_facet DE-20
physical 1 Online-Ressource (viii, 219 Seiten)
psigel ZDB-23-DGG
ZDB-23-DMA
ZDB-23-DMA ZDB-23-DMA19
publishDate 2019
publishDateSearch 2019
publishDateSort 2019
publisher Princeton University Press
record_format marc
series2 Princeton series in applied mathematics
spelling Garoche, Pierre-Loic Verfasser (DE-588)1189107899 aut
Formal verification of control system software Pierre-Loic Garoche
Princeton ; Oxford Princeton University Press 2019
1 Online-Ressource (viii, 219 Seiten)
txt rdacontent
c rdamedia
cr rdacarrier
Princeton series in applied mathematics
Erscheint auch als Druck-Ausgabe 978-0-691-18130-1
https://doi.org/10.1515/9780691189581 Verlag URL des Erstveröffentlichers Volltext
spellingShingle Garoche, Pierre-Loic
Formal verification of control system software
title Formal verification of control system software
title_auth Formal verification of control system software
title_exact_search Formal verification of control system software
title_full Formal verification of control system software Pierre-Loic Garoche
title_fullStr Formal verification of control system software Pierre-Loic Garoche
title_full_unstemmed Formal verification of control system software Pierre-Loic Garoche
title_short Formal verification of control system software
title_sort formal verification of control system software
url https://doi.org/10.1515/9780691189581
work_keys_str_mv AT garochepierreloic formalverificationofcontrolsystemsoftware