Staff View for: Verified Software: Theories, Tools, and

 Staff view

You must be logged in to Tag Records

Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /

edited by Arie Gurfinkel, Sanjit A. Seshia.

Book Cover
Names: Gurfinkel, Arie, | Seshia, Sanjit A.,
Published: Cham : Springer International Publishing : Imprint : Springer, 2016.
Edition: 1st ed. 2016.
Series: Lecture notes in computer science ; 9593.
Topics: Computer science. | Computer programming. | Software engineering. | Programming languages (Electronic computers) | Computer logic. | Logic, Symbolic and mathematical. | Artificial intelligence. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics).
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 03887cam a2200757 i 4500
001 16754346
005 20170628192210.0
006 m o d
007 cr nn|008mamaa
008 160330s2016 gw a o 000 0 eng d
019 |a946029369|a963295621
020 |a9783319296135
020 |a3319296132
020 |z9783319296128
020 |a3319296124
020 |a9783319296128
024 7 |a10.1007/978-3-319-29613-5|2doi
035 |a(OCoLC)ocn945948224
035 |a(NCCdb)312217
040 |aAZU|beng|epn|cAZU|dYDXCP|dOCLCO|dDKDLA|dGW5XE|dOCLCF|dOCLCQ|dCOO|dESU|dUAB|dILL|dNCCdb
050 4|aQA76.758
072 7|aUMZ|2bicssc
072 7|aCOM051230|2bisacsh
082 04|a005.1|223
245 00|aVerified Software: Theories, Tools, and Experiments :|b7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /|cedited by Arie Gurfinkel, Sanjit A. Seshia.
250 |a1st ed. 2016.
264 1|aCham :|bSpringer International Publishing :|bImprint :|bSpringer,|c2016.
300 |a1 online resource (IX, 223 pages 41 illustrations in color.) :|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aLecture Notes in Computer Science,|x0302-9743 ;|v9593
505 0 |aLarge-scale verification -- collaboration:- Theory Unication -- Tool Integration -- Formalized domain knowledge.
520 |aThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
650 0|aComputer science.
650 0|aComputer programming.
650 0|aSoftware engineering.
650 0|aProgramming languages (Electronic computers)
650 0|aComputer logic.
650 0|aLogic, Symbolic and mathematical.
650 0|aArtificial intelligence.
650 7|aArtificial intelligence.|2fast|0(OCoLC)fst00817247
650 7|aComputer logic.|2fast|0(OCoLC)fst00872265
650 7|aComputer programming.|2fast|0(OCoLC)fst00872390
650 7|aComputer science.|2fast|0(OCoLC)fst00872451
650 7|aLogic, Symbolic and mathematical.|2fast|0(OCoLC)fst01002068
650 7|aProgramming languages (Electronic computers)|2fast|0(OCoLC)fst01078704
650 7|aSoftware engineering.|2fast|0(OCoLC)fst01124185
650 14|aComputer Science.
650 24|aSoftware Engineering.
650 24|aLogics and Meanings of Programs.
650 24|aProgramming Languages, Compilers, Interpreters.
650 24|aProgramming Techniques.
650 24|aMathematical Logic and Formal Languages.
650 24|aArtificial Intelligence (incl. Robotics).
655 0|aElectronic books.
700 1 |aGurfinkel, Arie,|eeditor.
700 1 |aSeshia, Sanjit A.,|eeditor.
776 08|iPrinted edition:|z9783319296128
830 0|aLecture notes in computer science ;|v9593.|x0302-9743
856 40|3SpringerLink|uhttps://login.libproxy.noctrl.edu/login?url=http://link.springer.com/10.1007/978-3-319-29613-5|zAccess for North Central College
938 |aYBP Library Services|bYANK|n12930054
945 |aSpringerLink|bSpringer English/International eBooks 2016 - Full Set
945 |aOCLC|bWorldCat Holdings
994 |a92|bILL

Staff View for: Verified Software: Theories, Tools, and