Skip to main content
LRC IIT Indore
Your cart is empty.
Cart
Log in to your account
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
Authority search
Most popular
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Results of search for 'au:"Tiziana Margaria "'
Refine your search
Availability
Limit to currently available items
Authors
Bernhard Steffen
(5)
Axel Legay, Tiziana Margaria
(2)
Bernhard Steffen, Christel Baier, Mark van den Bra...
(1)
Giuseppe F. Italiano, Tiziana Margaria-Steffen, Ja...
(1)
Kim G. Larsen
(1)
Susanne Graf
(1)
Tiziana Margaria
(6)
Tiziana Margaria, Bernhard Steffen
(8)
Show more
Show less
Item types
E-Book
(18)
Locations
Online
(18)
Series
Lecture Notes in Computer Science
(18)
Topics
Computer System Implementation
(3)
Logics and Meanings of Programs
(2)
Mathematical Logic and Formal Languages
(1)
Software Engineering/Programming and Operating Sy...
(3)
Special Purpose and Application-Based Systems
(1)
Computer Science
(6)
Show more
Show less
Your search returned 18 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
Select titles to:
Add to...
Cart
Place hold
Results
1.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2014
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
2.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2014
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
3.
SOFSEM 2015: Theory and Practice of Computer Science
by
Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorn�, Jean-Jacques Quisquater, Roger Wattenhofer
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2015
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
4.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
5.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
6.
SOFSEM 2017: Theory and Practice of Computer Science
by
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2017
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
7.
Tools and Algorithms for the Construction and Analysis of Systems
by
Axel Legay, Tiziana Margaria
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2017
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
8.
Tools and Algorithms for the Construction and Analysis of Systems
by
Axel Legay, Tiziana Margaria
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2017
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
9.
No cover image available
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2018
Online access:
Click here to access online
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
10.
No cover image available
Leveraging Applications of Formal Methods, Verification and Validation. Verification
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2018
Online access:
Click here to access online
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
11.
No cover image available
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2018
Online access:
Click here to access online
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
12.
No cover image available
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
by
Tiziana Margaria, Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2018
Online access:
Click here to access online
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
13.
Models, Mindsets, Meta: The What, the How, and the Why Not?
by
Tiziana Margaria
Kim G. Larsen
Susanne Graf
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2019
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
14.
Leveraging Applications of Formal Methods, Verification and Validation: Applications
by
Tiziana Margaria
Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
Publication details:
Springer Nature
2020
Online access:
Click here to access online
Availability:
Items available for reference:
: Not for loan
(1).
Add to cart
(remove)
15.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
by
Tiziana Margaria
Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
Publication details:
Springer Nature
2020
Online access:
Click here to access online
Availability:
Items available for reference:
: Not for loan
(1).
Add to cart
(remove)
16.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
by
Tiziana Margaria
Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
Publication details:
Springer Nature
2020
Online access:
Click here to access online
Availability:
Items available for reference:
: Not for loan
(1).
Add to cart
(remove)
17.
No cover image available
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
by
Tiziana Margaria
Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2021
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
18.
No cover image available
Leveraging Applications of Formal Methods, Verification and Validation
by
Tiziana Margaria
Bernhard Steffen
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2021
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore
Powered by
Koha