|
|
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang.
by Maciaszek, Leszek A [editor.] | Zhang, Kang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.
by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.
by Dastani, Mehdi [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Object-Oriented Technology [electronic resource] / by Suad Alagić.
by Alagić, Suad [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. M�uller.
by Rendell, Alistair P [editor.] | Chapman, Barbara M [editor.] | M�uller, Matthias S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Macei�o, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Mart�i-Oliet.
by Braga, Christiano [editor.] | Mart�i-Oliet, Narciso [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.
by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.
by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Domain-specific modeling : enabling full code generation / Steven Kelly, Juha-Pekka Tolvanen.
by Kelly, Steven | Tolvanen, Juha-Pekka | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Swift in the cloud / Leigh Williamson [and five others].
by Williamson, Leigh [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Indianapolis, IN : John Wiley & Sons, [2017]Copyright date: ©2017Online access: Wiley Online Library Availability: No items available
|
|
|
|
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python / Therese Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge.
by Hardin, Therese | Jaume, Mathieu | Pessaux, François | Donzeau-Gouge, Véronique. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2021Online access: Wiley Online Library Availability: No items available
|
|
|
|
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / Thérèse Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge.
by Hardin, Thérèse [author.] | Jaume, Mathieu [author.] | Pessaux, Francois [author.] | Donzeau-Gouge, Véronique [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, NJ : ISTE Ltd. ; Wiley, 2021Online access: Wiley Online Library Availability: No items available
|
|
|
|
Oracle embedded programming and application development / Lakshman Bulusu.
by Lakshman, Bulusu [author.]. Material type: Book; Literary form:
Not fiction
Publisher: Boca Raton, Fla. : Auerbach Publications, 2011Online access: Click here to view. Availability: No items available
|
|
|
|
Domain-theoretic foundations of functional programming [electronic resource] / Thomas Streicher.
by Streicher, Thomas, 1958-. Material type:  Computer file; Format:
electronic
available online
Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©2006Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Generating language-based environments / Thomas W. Reps.
by Reps, Thomas W., (Thomas William) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1984Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Dissertation note: Originally presented as the author's thesis (Ph. D.)--Cornell University, 1983. Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Types and programming languages / Benjamin C. Pierce.
by Pierce, Benjamin C [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2002Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2002]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / Stuart M. Shieber.
by Shieber, Stuart M [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1992Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.
by Goguen, Joseph [author.] | Malcolm, Grant | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
The formal semantics of programming languages : an introduction / Glynn Winskel.
by Winskel, G., (Glynn) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Regulating code : good governance and better regulation in the information age / Ian Brown and Christopher T. Marsden.
by Brown, Ian, Dr [author.] | Marsden, Christopher T | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2013Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
