Skip to main content
LRC IIT Indore
Log in to your account
Your cookies
Search history
Clear
विद्यार्जन
संसाधन
केंद्र, भारतीय
प्रौद्योगिकी
संस्थान
इन्दौर
Learning Resource Center, Indian Institute of Technology Indore
ऑनलाइन सार्वजनिक अभिगम प्रसूची
O
nline
P
ublic
A
ccess
C
atalogue (
OPAC
)
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Browse by hierarchy
Most popular
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Advanced search
Results of search for 'su:{Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages}'
Refine your search
Availability
Limit to records with available items
Authors
Juan Antonio de la Puente, Tullio Vardanega
(1)
Laurent George, Tullio Vardanega
(1)
Marko Bertogna, Luis Miguel Pinho, Eduardo Qui�one...
(1)
Maurice H. ter Beek, Stefania Gnesi, Alexander Kna...
(1)
Item types
E-Book
(4)
Locations
Online
(4)
Series
Lecture Notes in Computer Science
(4)
Your search returned 4 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Results per page:
20 (default)
20
40
60
80
100
Unhighlight
Highlight
Select all
Clear all
Place hold
Results
1.
Reliable Software Technologies � Ada-Europe 2014
by
Laurent George, Tullio Vardanega
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2014
Online resources:
Click here to access online
Availability:
Items available for reference:
shift: Not for loan
(1)
Collection, call number:
shift
shift
.
2.
Reliable Software Technologies � Ada-Europe 2015
by
Juan Antonio de la Puente, Tullio Vardanega
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2015
Online resources:
Click here to access online
Availability:
Items available for reference:
shift: Not for loan
(1)
Collection, call number:
shift
shift
.
3.
Reliable Software Technologies � Ada-Europe 2016
by
Marko Bertogna, Luis Miguel Pinho, Eduardo Qui�ones
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online resources:
Click here to access online
Availability:
Items available for reference:
shift: Not for loan
(1)
Collection, call number:
shift
shift
.
4.
Critical Systems: Formal Methods and Automated Verification
by
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online resources:
Click here to access online
Availability:
Items available for reference:
shift: Not for loan
(1)
Collection, call number:
shift
shift
.
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore