skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II Preview this item
ClosePreview this item
Checking...

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II

Author: Isil Dillig; Serdar Tasiran
Publisher: Cham, Switzerland : SpringerOpen, [2019]
Series: Lecture notes in computer science, 11562.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I:  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Isil Dillig; Serdar Tasiran
ISBN: 9783030255435 3030255433 9783030255404 3030255409 3030255425 9783030255428
OCLC Number: 1110331320
Description: 1 online resource
Contents: Logics, Decision Procedures, and Solvers --
Satisfiability Checking for Mission-Time LTL --
High-Level Abstractions for Simplifying Extended String Constraints in SMT --
Alternating Automata Modulo First Order Theories --
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors --
CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis --
Incremental Determinization for Quantifier Elimination and Functional Synthesis --
Numerical Programs --
Loop Summarization with Rational Vector Addition Systems --
Invertibility Conditions for Floating-Point Formulas --
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems --
Icing: Supporting Fast-math Style Optimizations in a Verified Compiler --
Sound Approximation of Programs with Elementary Functions --
Verification --
Formal verification of quantum algorithms using quantum Hoare logic --
SecCSL: Security Concurrent Separation Logic --
Reachability Analysis for AWS-based Networks --
Distributed Systems and Networks --
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics --
Gradual Consistency Checking --
Checking Robustness Against Snapshot Isolation --
Efficient verification of network fault tolerance via counterexampleguided refinement --
On the Complexity of Checking Consistency for Replicated Data Types --
Communication-closed asynchronous protocols --
Verification and Invariants --
Interpolating Strong Induction --
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers --
Inferring Inductive Invariants from Phase Structures --
Termination of Triangular Integer Loops is Decidable --
AliveInLean: A Verified LLVM Peephole Optimization Verifier --
Concurrency --
Automated Parameterized Verification of CRDTs --
What's wrong with on-the-y partial order reduction --
Integrating Formal Schedulability Analysis into a Verifed OS Kernel --
Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS --
Violat: Gen erating Tests of Observational Refinement for Concurrent Objects.
Series Title: Lecture notes in computer science, 11562.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: CAV 2019
Responsibility: Isil Dillig, Serdar Tasiran (eds.).

Abstract:

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1110331320<\/a>> # Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, schema:MediaObject<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1110331320<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/sz<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/005.1\/e23\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/logic_design<\/a>> ; # Logic design<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_programs_verification<\/a>> ; # Computer programs--Verification<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/logic_in_ai<\/a>> ; # Logic in AI<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/mathematical_logic_and_formal_languages<\/a>> ; # Mathematical Logic and Formal Languages<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/software_engineering<\/a>> ; # Software engineering<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_industry<\/a>> ; # Computer industry<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/logics_and_meanings_of_programs<\/a>> ; # Logics and Meanings of Programs<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_science<\/a>> ; # Computer science<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/the_computing_profession<\/a>> ; # The Computing Profession<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/system_performance_and_evaluation<\/a>> ; # System Performance and Evaluation<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/artificial_intelligence<\/a>> ; # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_logic<\/a>> ; # Computer logic<\/span>\n\u00A0\u00A0\u00A0\nschema:alternateName<\/a> \"CAV 2019<\/span>\" ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Meeting\/cav_conference_31st_2019_new_york_n_y<\/a>> ; # CAV (Conference) (31st : 2019 : New York, N.Y.)<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2019<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What\'s wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Gen erating Tests of Observational Refinement for Concurrent Objects.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Person\/tasiran_serdar<\/a>> ; # Serdar Tasiran<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Person\/dillig_isil<\/a>> ; # Isil Dillig<\/span>\n\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/9422592811<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Electronic books<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Series\/lncs_sublibrary<\/a>> ; # LNCS sublibrary.<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Series\/lecture_notes_in_computer_science<\/a>> ; # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Series\/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues<\/a>> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1110331320<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/ezproxy.lau.edu.lb:2443\/login?url=https:\/\/doi.org\/10.1007\/978-3-030-25543-5<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/doi.org\/10.1007\/978-3-030-25543-5<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/ezproxy.library.dal.ca\/login?url=https:\/\/doi.org\/10.1007\/978-3-030-25543-5<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783030255435<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783030255404<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783030255428<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GBB9E8393<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GBB9E8402<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1110331320<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/005.1\/e23\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Meeting\/cav_conference_31st_2019_new_york_n_y<\/a>> # CAV (Conference) (31st : 2019 : New York, N.Y.)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Place\/new_york_n_y<\/a>> ; # New York, N.Y.)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"CAV (Conference) (31st : 2019 : New York, N.Y.)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Person\/dillig_isil<\/a>> # Isil Dillig<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Dillig<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Isil<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Isil Dillig<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Person\/tasiran_serdar<\/a>> # Serdar Tasiran<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Tasiran<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Serdar<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Serdar Tasiran<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Place\/new_york_n_y<\/a>> # New York, N.Y.)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"New York, N.Y.)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Series\/lecture_notes_in_computer_science<\/a>> # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1110331320<\/a>> ; # Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Series\/lncs_sublibrary<\/a>> # LNCS sublibrary.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1110331320<\/a>> ; # Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"LNCS sublibrary.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Series\/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues<\/a>> # LNCS sublibrary. SL 1, Theoretical computer science and general issues<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1110331320<\/a>> ; # Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"LNCS sublibrary. SL 1, Theoretical computer science and general issues<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/artificial_intelligence<\/a>> # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Artificial intelligence<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_industry<\/a>> # Computer industry<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer industry<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_logic<\/a>> # Computer logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_programs_verification<\/a>> # Computer programs--Verification<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer programs--Verification<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/computer_science<\/a>> # Computer science<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer science<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/logic_design<\/a>> # Logic design<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic design<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/logic_in_ai<\/a>> # Logic in AI<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic in AI<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/logics_and_meanings_of_programs<\/a>> # Logics and Meanings of Programs<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logics and Meanings of Programs<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/mathematical_logic_and_formal_languages<\/a>> # Mathematical Logic and Formal Languages<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematical Logic and Formal Languages<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/software_engineering<\/a>> # Software engineering<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Software engineering<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Software Engineering<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/system_performance_and_evaluation<\/a>> # System Performance and Evaluation<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"System Performance and Evaluation<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9422592811#Topic\/the_computing_profession<\/a>> # The Computing Profession<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"The Computing Profession<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/sz<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"sz<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783030255404<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3030255409<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783030255404<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783030255428<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3030255425<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783030255428<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783030255435<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3030255433<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783030255435<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1110331320<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1110331320<\/a>> ; # Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-10-12<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n