|
|
|
Deductive Software Verification - The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / edited by Luis Soares Barbosa, Markus Lumpe.
by Barbosa, Luis Soares [editor.] | Lumpe, Markus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / edited by T.V. Gopal, Gerhard Jäger, Silvia Steila.
by Gopal, T.V [editor.] | Jäger, Gerhard [editor.] | Steila, Silvia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre [editor.] | Shao, Zhong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.
by Farré, Jacques [editor.] | Litovsky, Igor [editor.] | Schmitz, Sylvain [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings / edited by Jan Vitek.
by Vitek, Jan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Testing: Academic and Industrial Conference - Practice and Research Techniques [electronic resource] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / edited by Leonardo Bottaci, Gordon Fraser.
by Bottaci, Leonardo [editor.] | Fraser, Gordon [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti.
by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil.
by Grunske, Lars [editor.] | Reussner, Ralf H [editor.] | Plasil, Frantisek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings / edited by Makoto Kanazawa, Marcus Kracht, Hiroyuki Seki, András Kornai.
by Kanazawa, Makoto [editor.] | Kracht, Marcus [editor.] | Seki, Hiroyuki [editor.] | Kornai, András [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino.
by Martí-Oliet, Narciso [editor.] | Palomino, Miguel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke.
by Franke, Björn [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.
by Derrick, John [editor.] | Fitzgerald, John [editor.] | Gnesi, Stefania [editor.] | Khurshid, Sarfraz [editor.] | Leuschel, Michael [editor.] | Reeves, Steve [editor.] | Riccobene, Elvinia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / edited by Dominique Méry, Stephan Merz.
by Méry, Dominique [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz.
by Gleizes, Marie-Pierre [editor.] | Gomez-Sanz, Jorge J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Science Logic [electronic resource] : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / edited by Erich Grädel, Reinhard Kahle.
by Grädel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
by Dierkes, Michael [editor.] | Pecheur, Charles [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff.
by Sakama, Chiaki [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / edited by Zhenjiang Hu.
by Hu, Zhenjiang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi.
by Azevedo, Francisco [editor.] | Barahona, Pedro [editor.] | Fages, Francois [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
