|
Showing 1 - 10 of
10 matches in All Departments
|
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Paperback, 2014 ed.)
Armin Biere, Roderick Bloem
|
R3,198
Discovery Miles 31 980
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 26th International
Conference on Computer Aided Verification, CAV 2014, held as part
of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in
July 2014. The 46 regular papers and 11 short papers presented in
this volume were carefully reviewed and selected from a total of
175 regular and 54 short paper submissions. The contributions are
organized in topical sections named: software verification;
automata; model checking and testing; biology and hybrid systems;
games and synthesis; concurrency; SMT and theorem proving; bounds
and termination; and abstraction.
This book constitutes the thoroughly refereed proceedings of the
8th International Haifa Verification Conference, HVC 2012, held in
Haifa, Israel in November 2012. The 18 revised full papers
presented together with 3 poster presentations were carefully
reviewed and selected from 36 submissions. They focus on the future
directions of testing and verification for hardware, software, and
complex hybrid systems.
This book constitutes the refereed proceedings of the 9th
International Conference on Theory and Applications of
Satisfiability Testing, SAT 2006. The book presents 26 revised full
papers together with 11 revised short papers and 2 invited talks.
Coverage extends to all current research issues in propositional
and quantified Boolean formula satisfiability testing. The papers
are organized in topical sections on proofs and cores, heuristics
and algorithms, and more.
|
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I (Paperback, 1st ed. 2020)
Armin Biere, David Parker
|
R1,395
Discovery Miles 13 950
|
Ships in 10 - 15 working days
|
This open access two-volume set constitutes the proceedings of the
26th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2020, which took place
in Dublin, Ireland, in April 2020, and was held as Part of the
European Joint Conferences on Theory and Practice of Software,
ETAPS 2020. The total of 60 regular papers presented in these
volumes was carefully reviewed and selected from 155 submissions.
The papers are organized in topical sections as follows: Part I:
Program verification; SAT and SMT; Timed and Dynamical Systems;
Verifying Concurrent Systems; Probabilistic Systems; Model Checking
and Reachability; and Timed and Probabilistic Systems. Part II:
Bisimulation; Verification and Efficiency; Logic and Proof; Tools
and Case Studies; Games and Automata; and SV-COMP 2020.
|
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II (Paperback, 1st ed. 2020)
Armin Biere, David Parker
|
R1,371
Discovery Miles 13 710
|
Ships in 10 - 15 working days
|
This open access two-volume set constitutes the proceedings of the
26th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2020, which took place
in Dublin, Ireland, in April 2020, and was held as Part of the
European Joint Conferences on Theory and Practice of Software,
ETAPS 2020. The total of 60 regular papers presented in these
volumes was carefully reviewed and selected from 155 submissions.
The papers are organized in topical sections as follows: Part I:
Program verification; SAT and SMT; Timed and Dynamical Systems;
Verifying Concurrent Systems; Probabilistic Systems; Model Checking
and Reachability; and Timed and Probabilistic Systems. Part II:
Bisimulation; Verification and Efficiency; Logic and Proof; Tools
and Case Studies; Games and Automata; and SV-COMP 2020.
Dieses Einfuhrungswerk in die Digitaltechnik wurde speziell fur
Bachelorstudenten entwickelt. Es enthalt viele auf den Anfanger
zugeschnittene praktische Anwendungen. Folgende Aspekte sind
einmalig: Tool-orientierter Ansatz - Verwendung der
Hardwarebeschreibungssprache Verilog - Einfuhrung in systematische
Methoden zur Fehlersuche - Geringe Anforderungen an die
mathematischen Vorkenntnisse - Ein vereinfachter X86 IA32-Prozessor
als Anwendungsbeispiel
Die vorgestellten Beispiele werden mit Hilfe von Tools wie
XILINX ISE und MentorGraphics ModelSim in echte Schaltungen
umgesetzt. Diese Tools werden auch im industriellen Alltag
eingesetzt. Im Internet werden weitere Ubungen, realisierte
Beispiele sowie Animationen angeboten. Fur Dozenten stehen Folien
zum Abrufen bereit. "
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
|