Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. by
  • Gnesi, Stefania, 1954-
  • Margaria-Steffen, Tiziana, 1964-
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley InterScience (Online service) [publisher.]
Material type: Text Text; Format: available online remote
Publisher: Hoboken, New Jersey : John Wiley and Sons Incorporated, [2012]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]
Online access:
Availability: No items available.

Add to cart
2.
See Baker & Taylor
Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / edited by Markus Roggenbach. by
  • Roggenbach, Markus [editor.]
  • SpringerLink (Online service)
Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues ; ; 12669.
Edition: 1st ed. 2021.
Source: Springer Nature eBook
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021
Online access:
Availability: Items available for loan: Castorina (1)Call number: 005.1015 R295 2021 IMPA.
Lists:

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha