Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification
ISBN: 9780792392859 / Angielski / Twarda / 1992 / 142 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
Graphical presentation is coming to be a de facto requirement for a friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating... Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts wi...
|
cena:
583,65 zł |
 |
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification
ISBN: 9781461365792 / Angielski / Miękka / 2012 / 142 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
Graphical presentation is coming to be a de facto requirement for a friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating... Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts wi...
|
cena:
583,65 zł |
 |
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
ISBN: 9780691634890 / Angielski / Twarda / 2016 / 284 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational... Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which noneth... |
cena:
938,87 zł |
 |
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
ISBN: 9780691606057 / Angielski / Miękka / 2014 / 284 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational... Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which noneth... |
cena:
359,32 zł |
 |
Investment Industry Claims Debunked: Smart Personal Finance Management for Ordinary Folks, Before and After Retirement
ISBN: 9783030767082 / Angielski / Miękka / 2021 / 366 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
128,37 zł |
 |
Verification of Digital and Hybrid Systems
ISBN: 9783642640520 / Angielski / Miękka / 2011 / 405 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives: automated theorem proving and model checking. In model checking, the essential problem of computational complexity is addressed, and the basic heuristics for dealing with this problem are presented. Part 2 formulates and classifies hybrid systems that capture continuous dynamics interacting with...
This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is ba...
|
cena:
389,09 zł |
 |
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
ISBN: 9783540544777 / Angielski / Miękka / 1991 / 378 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification, as distinguished from attributes of logics or...
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical r...
|
cena:
194,52 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
