Salta al contingut principal
U A B Servei de Biblioteques
  • Facebook
  • Twitter
  • Instagram
  • Youtube
Servei de Biblioteques UAB Servei de Biblioteques UAB
  • Què oferim
  • Els nostres fons
  • Estudia i investiga
  • Coneix les biblioteques
EBS: Llibres a prova
  • Cerca els llibres a prova
  • Àrees temàtiques
  • Explora
  • Suggeriment de compra
 
https://syndetics.com/index.aspx

Formal Methods. FM 2019 International Workshops

Dublin Core

Títol

Formal Methods. FM 2019 International Workshops

Autor

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

Matèria

Computer Science & Information Technology

Editor

Springer Nature

Data de publicació

2020

Identificador

9783030549947

Font

https://doi.org/10.1007/978-3-030-54994-7

Etiquetes

Computer Science & Information Technology

Col·lecció

Computer Science & Information Technology

  • ← ítem anterior
  • Ítem següent →
Campus d'Excel·lència Internacional HR Excellence in Research - Euraxess

Avís legal i Protecció de dades

2024 Universitat Autònoma de Barcelona