FEEDBACK Smiley face

Your search returned 6 results. Subscribe to this search

|
1. Static Analysis [electronic resource] :7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings /

by Palsberg, Jens [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

2. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /

by Hermanns, Holger [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.Online access: Click here to access online Availability: No items available

3. Model Checking Software [electronic resource] :15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /

by Havelund, Klaus [editor.] | Majumdar, Rupak [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

4. Static Analysis [electronic resource] :16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /

by Palsberg, Jens [editor.] | Su, Zhendong [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

5. Semantics and Algebraic Specification [electronic resource] :Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

by Palsberg, Jens [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

6. Verification, Model Checking, and Abstract Interpretation [electronic resource] :19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /

by Dillig, Isil [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in