skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover tipo de recurso: Resenhas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking: Springer International Publishing AG, Cham, Switzerland, 2018, xxiv+1210 pp, ISBN 978-3-319-10574-1 (Hardcover, 2.13 kg), ISBN 978-3-319-10575-8 (eBook, PDF). https://doi.org/10.1007/978-3-319-10575-8
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking: Springer International Publishing AG, Cham, Switzerland, 2018, xxiv+1210 pp, ISBN 978-3-319-10574-1 (Hardcover, 2.13 kg), ISBN 978-3-319-10575-8 (eBook, PDF). https://doi.org/10.1007/978-3-319-10575-8
Material Type:
Resenha 		Adicionar ao Meu Espaço

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking: Springer International Publishing AG, Cham, Switzerland, 2018, xxiv+1210 pp, ISBN 978-3-319-10574-1 (Hardcover, 2.13 kg), ISBN 978-3-319-10575-8 (eBook, PDF). https://doi.org/10.1007/978-3-319-10575-8

Konnov, Igor

Formal Aspects of Computing, 2019, Vol.31 (4), p.455-456 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
2
Modeling and analysis of communicating systems: By Jan Friso Groote and Mohammad Reza Mousavi. MIT Press, August 2014, 392 pp, 8x10in, ISBN: 9780262027717 (Hardcover, $ 55.00)
Modeling and analysis of communicating systems: By Jan Friso Groote and Mohammad Reza Mousavi. MIT Press, August 2014, 392 pp, 8x10in, ISBN: 9780262027717 (Hardcover, $ 55.00)
Material Type:
Resenha 		Adicionar ao Meu Espaço

Modeling and analysis of communicating systems: By Jan Friso Groote and Mohammad Reza Mousavi. MIT Press, August 2014, 392 pp, 8x10in, ISBN: 9780262027717 (Hardcover, $ 55.00)

Rossi, Matteo

Formal Aspects of Computing, 2021, Vol.33 (2), p.297-298 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
3
Semantics of the probabilistic Lambda Calculus By Dirk Draheim: Springer-Verlag, Berlin Heidelberg, DE, 26 January 2017, VIII+218 pp, 246x189mm, ISBN: 9783642551970 (Hardback, €124.79), ISBN: 9783662568729 (Paperback, €124.79)
Semantics of the probabilistic Lambda Calculus By Dirk Draheim: Springer-Verlag, Berlin Heidelberg, DE, 26 January 2017, VIII+218 pp, 246x189mm, ISBN: 9783642551970 (Hardback, €124.79), ISBN: 9783662568729 (Paperback, €124.79)
Material Type:
Resenha 		Adicionar ao Meu Espaço

Semantics of the probabilistic Lambda Calculus By Dirk Draheim: Springer-Verlag, Berlin Heidelberg, DE, 26 January 2017, VIII+218 pp, 246x189mm, ISBN: 9783642551970 (Hardback, €124.79), ISBN: 9783662568729 (Paperback, €124.79)

Loreti, Michele

Formal Aspects of Computing, 2021, Vol.33 (3), p.457-458 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
4
Foundations of programming languages: by Kent D. Lee Second Edition. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-70789-1, pp. 1–367
Foundations of programming languages: by Kent D. Lee Second Edition. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-70789-1, pp. 1–367
Material Type:
Resenha 		Adicionar ao Meu Espaço

Foundations of programming languages: by Kent D. Lee Second Edition. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-70789-1, pp. 1–367

Wilhelm, Reinhard

Formal Aspects of Computing, 2021, Vol.33 (6), p.1279-1280 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
5
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications: Springer, 2017, XXVI+322 pp, ISBN: 978-3-319-64020-4 (Paperback, £ 49.99, €57.19), eISBN: 978-3-319-64021-1 (eBook, £ 39.99, €46.00). https://doi.org/10.1007/978-3-319-64021-1
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications: Springer, 2017, XXVI+322 pp, ISBN: 978-3-319-64020-4 (Paperback, £ 49.99, €57.19), eISBN: 978-3-319-64021-1 (eBook, £ 39.99, €46.00). https://doi.org/10.1007/978-3-319-64021-1
Material Type:
Resenha 		Adicionar ao Meu Espaço

Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications: Springer, 2017, XXVI+322 pp, ISBN: 978-3-319-64020-4 (Paperback, £ 49.99, €57.19), eISBN: 978-3-319-64021-1 (eBook, £ 39.99, €46.00). https://doi.org/10.1007/978-3-319-64021-1

Bowen, Jonathan P.

Formal Aspects of Computing, 2020, Vol.32 (1), p.147-148 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
6
André Platzer: Logical foundations of cyber-physical systems: Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99)
André Platzer: Logical foundations of cyber-physical systems: Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99)
Material Type:
Resenha 		Adicionar ao Meu Espaço

André Platzer: Logical foundations of cyber-physical systems: Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99)

Knapp, Alexander ; Roggenbach, Markus

Formal Aspects of Computing, 2020, Vol.32 (1), p.149-151 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
7
The Turing Guide: By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99)
The Turing Guide: By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99)
Material Type:
Resenha 		Adicionar ao Meu Espaço

The Turing Guide: By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99)

Jones, Cliff B.

Formal Aspects of Computing, 2017, Vol.29 (6), p.1121-1122 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
8
John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems: Springer, Berlin Heidelberg, 2014, xxii + 385 pp, 6 × 2 mm, ISBN: 978-3-642-54117-9 (Hardback, \$ 119.99), ISBN: 978-3-662-52444-2 (Softcover, \$ 129.00)
John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems: Springer, Berlin Heidelberg, 2014, xxii + 385 pp, 6 × 2 mm, ISBN: 978-3-642-54117-9 (Hardback, \$ 119.99), ISBN: 978-3-662-52444-2 (Softcover, \$ 129.00)
Material Type:
Resenha 		Adicionar ao Meu Espaço

John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems: Springer, Berlin Heidelberg, 2014, xxii + 385 pp, 6 × 2 mm, ISBN: 978-3-642-54117-9 (Hardback, \$ 119.99), ISBN: 978-3-662-52444-2 (Softcover, \$ 129.00)

Banach, Richard

Formal Aspects of Computing, 2019, Vol.31 (4), p.453-454 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
9
Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches: Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99),ISBN: 978-3030098339 (Paperback, £27.99)
Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches: Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99),ISBN: 978-3030098339 (Paperback, £27.99)
Material Type:
Resenha 		Adicionar ao Meu Espaço

Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches: Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99),ISBN: 978-3030098339 (Paperback, £27.99)

Michaelson, Greg

Formal Aspects of Computing, 2019, Vol.31 (5), p.641-642 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
10
Egon Börger and Alexander Raschke: Modeling companion for software practitioners: Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http://dx.doi.org/10.1007/978-3-662-56641-1
Egon Börger and Alexander Raschke: Modeling companion for software practitioners: Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http://dx.doi.org/10.1007/978-3-662-56641-1
Material Type:
Resenha 		Adicionar ao Meu Espaço

Egon Börger and Alexander Raschke: Modeling companion for software practitioners: Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http://dx.doi.org/10.1007/978-3-662-56641-1

Bowen, Jonathan P.

Formal Aspects of Computing, 2018, Vol.30 (6), p.761-762 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (14)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.