|
|
1.
|
A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio.
by Kurki-Suonio, Reino [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
2.
|
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bj�rner.
by Bj�rner, Dines [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
3.
|
Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bj�rner.
by Bj�rner, Dines [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
4.
|
Finite Model Theory and Its Applications [electronic resource] / by Erich Gr�del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.
by Gr�del, Erich [author.] | Kolaitis, Phokion G [author.] | Libkin, Leonid [author.] | Marx, Maarten [author.] | Spencer, Joel [author.] | Vardi, Moshe Y [author.] | Venema, Yde [author.] | Weinstein, Scott [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
5.
|
Modelling Distributed Systems [electronic resource] / by Wan Fokkink.
by Fokkink, Wan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
6.
|
Temporal Logic and State Systems [electronic resource] / by Fred Kr�ger, Stephan Merz.
by Kr�ger, Fred [author.] | Merz, Stephan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
7.
|
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.
by Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).
|
|
|
8.
|
Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
by Gorrieri, Roberto [author.] | Versari, Cristian [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.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: Items available for loan: Bangalore University Library (1).
|
|
|
9.
|
Petri Net Synthesis [electronic resource] / by Eric Badouel, Luca Bernardinello, Philippe Darondeau.
by Badouel, Eric [author.] | Bernardinello, Luca [author.1] | Darondeau, Philippe [author.2] | SpringerLink (Online service)0. Edition: 1st ed. 2015.Source: Springer eBooks0Material 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: Items available for loan: Bangalore University Library (1).
|
