Programs Recursion Unbounded Choice: 27 (Cambridge Tracts in Theoretical Computer Science, Series Number 27) - Livro de bolso
2005, ISBN: 0521018293
[EAN: 9780521018296], Neubuch, [PU: Cambridge University Press, United Kingdom, Cambridge], WIM H. HESSELINK PROGRAMS RECURSION UNBOUNDED CHOICE 27 CAMBRIDGE TRACTS IN THEORETICAL COMPUTE… mais…
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: EUR 24.04 Details... |
ISBN: 9780521018296
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate … mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
ISBN: 0521018293
Programs Recursion and Unbounded Choice ab 72.49 € als Taschenbuch: . Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Cambridge University Press
Hugendubel.de Nr. 4023927. Custos de envio:, , DE. (EUR 0.00) Details... |
ISBN: 9780521018296
Paperback / softback. New. A complete account of the predicate transformation calculus semantics of sequential programs., 6
Biblio.co.uk |
2005, ISBN: 0521018293
[EAN: 9780521018296], Neubuch, [PU: Cambridge University Press 2005-08], Books
AbeBooks.de Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: EUR 5.27 Details... |
Programs Recursion Unbounded Choice: 27 (Cambridge Tracts in Theoretical Computer Science, Series Number 27) - Livro de bolso
2005, ISBN: 0521018293
[EAN: 9780521018296], Neubuch, [PU: Cambridge University Press, United Kingdom, Cambridge], WIM H. HESSELINK PROGRAMS RECURSION UNBOUNDED CHOICE 27 CAMBRIDGE TRACTS IN THEORETICAL COMPUTE… mais…
ISBN: 9780521018296
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate … mais…
ISBN: 0521018293
Programs Recursion and Unbounded Choice ab 72.49 € als Taschenbuch: . Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Cambridge University Press
no/na Biblio.co.uk
ISBN: 9780521018296
Paperback / softback. New. A complete account of the predicate transformation calculus semantics of sequential programs., 6
2005, ISBN: 0521018293
[EAN: 9780521018296], Neubuch, [PU: Cambridge University Press 2005-08], Books
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Programs, Recursion And Unbounded Choice: Programs Recursion & Unbounded
EAN (ISBN-13): 9780521018296
ISBN (ISBN-10): 0521018293
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Cambridge University Press
240 Páginas
Peso: 0,386 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-12-20T19:20:41+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2022-04-15T00:16:26+01:00 (Lisbon)
Número ISBN/EAN: 0521018293
Número ISBN - Ortografia alternativa:
0-521-01829-3, 978-0-521-01829-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: samson, hesselink, rijsbergen, wim
Título do livro: recursion, the choice
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9780511569784 Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) (Wim H. Hesselink)
< Para arquivar...