Eintrag weiter verarbeiten
Online-Ressource

Time for Verification: Essays in Memory of Amir Pnueli

Gespeichert in:

Personen und Körperschaften: Manna, Zohar (VerfasserIn), Peled, Doron (Sonstige)
Titel: Time for Verification: Essays in Memory of Amir Pnueli/ edited by Zohar Manna, Doron A. Peled
Format: E-Book
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 6200
Schlagwörter:
Logic design
Computer Science
Computer science
Computer programming.
Compilers (Computer programs).
Machine theory.
Aufsatzsammlung
Buchausg. u.d.T.: Time for verification, Berlin : Springer, 2010, X, 399 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 05027cam a22010212 4500
001 0-1649993676
003 DE-627
005 20240122105304.0
007 cr uuu---uuuuu
008 100802s2010 gw |||||o 00| ||eng c
020 |a 9783642137549  |9 978-3-642-13754-9 
024 7 |a 10.1007/978-3-642-13754-9  |2 doi 
035 |a (DE-627)1649993676 
035 |a (DE-576)327015306 
035 |a (DE-599)BSZ327015306 
035 |a (OCoLC)654404556 
035 |a (OCoLC)731125001 
035 |a (ZBM)1194.68054 
035 |a (DE-He213)978-3-642-13754-9 
035 |a (EBP)040521494 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE 
050 0 |a QA76.6-76.66 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
084 |a SS 4800  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Q60  |2 msc 
084 |a 00B30  |2 msc 
084 |a 54.10  |2 bkl 
100 1 |a Manna, Zohar  |d 1939-2018  |0 (DE-588)128838248  |0 (DE-627)382390083  |0 (DE-576)162119682  |4 aut 
245 1 0 |a Time for Verification  |b Essays in Memory of Amir Pnueli  |c edited by Zohar Manna, Doron A. Peled 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010 
300 |a Online-Ressource (VIII, 413p. 113 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 6200 
490 0 |a SpringerLink  |a Bücher 
520 |a Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question. 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
655 7 |a Aufsatzsammlung  |0 (DE-588)4143413-4  |0 (DE-627)105605727  |0 (DE-576)209726091  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 1 |D s  |0 (DE-588)4135577-5  |0 (DE-627)104649100  |0 (DE-576)209661933  |a Verifikation  |2 gnd 
689 0 |5 DE-101 
700 1 |a Peled, Doron  |d 1962-  |0 (DE-588)123117976  |0 (DE-627)500675880  |0 (DE-576)170495876  |4 oth 
776 1 |z 9783642137532 
776 0 8 |i Buchausg. u.d.T.  |t Time for verification  |d Berlin : Springer, 2010  |h X, 399 S.  |w (DE-627)626834821  |w (DE-576)325873836  |z 3642137539  |z 9783642137532 
830 0 |a Lecture notes in computer science  |v 6200  |9 6200  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-13754-9  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://zbmath.org/?q=an:1194.68054  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC  |b 2010 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SCS  |b 2010 
912 |a ZDB-2-SXCS  |b 2010 
912 |a ZDB-2-SEB  |b 2010 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
900 |a Peled, Doron A. 
900 |a Peled, D. A. 
950 |a Verifizierung 
950 |a Verifizierbarkeit 
950 |a Logik 
950 |a Erkenntnis 
950 |a Wahrheit 
950 |a Верификация 
950 |a Formales Verfahren 
950 |a Methode 
951 |b XB-IL 
951 |b XD-US 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-13754-9  |9 DE-14 
852 |a DE-14  |z 2011-07-20T14:58:48Z  |x epn:3335388119 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-13754-9  |9 DE-15 
852 |a DE-15  |z 2011-05-16T16:36:13Z  |x epn:3335388151 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-13754-9  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |z 2011-01-26T14:34:03Z  |x epn:3335388267 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-13754-9  |9 DE-520 
852 |a DE-520  |z 2012-11-21T16:16:19Z  |x epn:3335388305 
980 |a 1649993676  |b 0  |k 1649993676  |o 327015306 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Time+for+Verification%3A+Essays+in+Memory+of+Amir+Pnueli&rft.date=2010&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Time+for+Verification%3A+Essays+in+Memory+of+Amir+Pnueli&rft.series=Lecture+notes+in+computer+science%2C+6200&rft.au=Manna%2C+Zohar&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642137547
SOLR
_version_ 1789363917800079360
access_facet Electronic Resources
author Manna, Zohar
author2 Peled, Doron
author2_role oth
author2_variant d p dp
author_facet Manna, Zohar, Peled, Doron
author_role aut
author_sort Manna, Zohar 1939-2018
author_variant z m zm
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.6-76.66
callnumber-search QA76.6-76.66
callnumber-sort QA 276.6 276.66
callnumber-subject QA - Mathematics
collection ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS
contents Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question.
ctrlnum (DE-627)1649993676, (DE-576)327015306, (DE-599)BSZ327015306, (OCoLC)654404556, (OCoLC)731125001, (ZBM)1194.68054, (DE-He213)978-3-642-13754-9, (EBP)040521494
de15_date 2011-05-16T16:36:13Z
doi_str_mv 10.1007/978-3-642-13754-9
facet_912a ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Formale Methode, Verifikation
finc_class_facet Informatik, Mathematik
finc_id_str 0000901169
fincclass_txtF_mv science-computerscience
format eBook
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Aufsatzsammlung (DE-588)4143413-4 (DE-627)105605727 (DE-576)209726091 gnd-content
genre_facet Aufsatzsammlung
geogr_code not assigned
geogr_code_person Israel, USA
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 6200
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1649993676
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer Berlin Heidelberg, 2010
imprint_str_mv Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
institution DE-14, DE-Zi4, DE-520, DE-15
is_hierarchy_id 0-1649993676
is_hierarchy_title Time for Verification: Essays in Memory of Amir Pnueli
isbn 9783642137549
isbn_isn_mv 9783642137532, 3642137539
issn_isn_mv 1611-3349
kxp_id_str 1649993676
language English
last_indexed 2024-01-28T19:33:30.576Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Computer programming., Compilers (Computer programs)., Machine theory., Formale Methode, Verifikation
marc024a_ct_mv 10.1007/978-3-642-13754-9
match_str manna2010timeforverificationessaysinmemoryofamirpnueli
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)6200
names_id_str_mv (DE-588)128838248, (DE-627)382390083, (DE-576)162119682, (DE-588)123117976, (DE-627)500675880, (DE-576)170495876
oclc_num 654404556, 731125001
physical Online-Ressource (VIII, 413p. 113 illus, digital)
publishDate 2010
publishDateSort 2010
publishPlace Berlin, Heidelberg
publisher Springer Berlin Heidelberg
record_format marcfinc
record_id 327015306
recordtype marcfinc
rsn_id_str_mv (DE-15)2461919
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 6200
series2 Lecture Notes in Computer Science ; 6200, SpringerLink ; Bücher
source_id 0
spelling Manna, Zohar 1939-2018 (DE-588)128838248 (DE-627)382390083 (DE-576)162119682 aut, Time for Verification Essays in Memory of Amir Pnueli edited by Zohar Manna, Doron A. Peled, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (VIII, 413p. 113 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 6200, SpringerLink Bücher, Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question., Logic design, Computer Science, Computer science, Computer programming., Compilers (Computer programs)., Machine theory., Aufsatzsammlung (DE-588)4143413-4 (DE-627)105605727 (DE-576)209726091 gnd-content, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, s (DE-588)4135577-5 (DE-627)104649100 (DE-576)209661933 Verifikation gnd, DE-101, Peled, Doron 1962- (DE-588)123117976 (DE-627)500675880 (DE-576)170495876 oth, 9783642137532, Buchausg. u.d.T. Time for verification Berlin : Springer, 2010 X, 399 S. (DE-627)626834821 (DE-576)325873836 3642137539 9783642137532, Lecture notes in computer science 6200 6200 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-13754-9 X:SPRINGER Verlag lizenzpflichtig Volltext, https://zbmath.org/?q=an:1194.68054 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://dx.doi.org/10.1007/978-3-642-13754-9 DE-14, DE-14 2011-07-20T14:58:48Z epn:3335388119, http://dx.doi.org/10.1007/978-3-642-13754-9 DE-15, DE-15 2011-05-16T16:36:13Z epn:3335388151, http://dx.doi.org/10.1007/978-3-642-13754-9 Zum Online-Dokument DE-Zi4, DE-Zi4 2011-01-26T14:34:03Z epn:3335388267, http://dx.doi.org/10.1007/978-3-642-13754-9 DE-520, DE-520 2012-11-21T16:16:19Z epn:3335388305
spellingShingle Manna, Zohar, Time for Verification: Essays in Memory of Amir Pnueli, Lecture notes in computer science, 6200, Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question., Logic design, Computer Science, Computer science, Computer programming., Compilers (Computer programs)., Machine theory., Aufsatzsammlung, Formale Methode, Verifikation
swb_id_str 327015306
title Time for Verification: Essays in Memory of Amir Pnueli
title_auth Time for Verification Essays in Memory of Amir Pnueli
title_full Time for Verification Essays in Memory of Amir Pnueli edited by Zohar Manna, Doron A. Peled
title_fullStr Time for Verification Essays in Memory of Amir Pnueli edited by Zohar Manna, Doron A. Peled
title_full_unstemmed Time for Verification Essays in Memory of Amir Pnueli edited by Zohar Manna, Doron A. Peled
title_in_hierarchy 6200. Time for Verification: Essays in Memory of Amir Pnueli (2010)
title_short Time for Verification
title_sort time for verification essays in memory of amir pnueli
title_sub Essays in Memory of Amir Pnueli
title_unstemmed Time for Verification: Essays in Memory of Amir Pnueli
topic Logic design, Computer Science, Computer science, Computer programming., Compilers (Computer programs)., Machine theory., Aufsatzsammlung, Formale Methode, Verifikation
topic_facet Logic design, Computer Science, Computer science, Computer programming., Compilers (Computer programs)., Machine theory., Aufsatzsammlung, Formale Methode, Verifikation
url https://doi.org/10.1007/978-3-642-13754-9, https://zbmath.org/?q=an:1194.68054, http://dx.doi.org/10.1007/978-3-642-13754-9