Recent Trends in Algebraic Development Techniques - Archive ouverte HAL Access content directly
Books Year : 2017

Recent Trends in Algebraic Development Techniques

(1) , (1)
1
Phillip James
  • Function : Author
  • PersonId : 1030921
Markus Roggenbach
  • Function : Author
  • PersonId : 1030922

Abstract

Book Front Matter of LNCS 10644
Vignette du fichier
IFIPLNCS10644DL_2017_BookFrontmatter.pdf (1.79 Mo) Télécharger le fichier

Dates and versions

hal-01767477 , version 1 (16-04-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Phillip James, Markus Roggenbach. Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers. Springer International Publishing, LNCS-10644, 2017, Lecture Notes in Computer Science, 978-3-319-72043-2. ⟨10.1007/978-3-319-72044-9⟩. ⟨hal-01767477⟩
25 View
70 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More