Cargando…

Type-driven development with Idris

Detalles Bibliográficos
Autor principal:	Brady, Edwin
Lenguaje:	eng
Publicado:	Manning Publications 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2263250

Ejemplares similares

Computer-aided detection of pulmonary nodules: a comparative study using the public LIDC/IDRI database
por: Jacobs, Colin, et al.
Publicado: (2015)

A UNIX/IDRIS dataway interface
por: Peady, G W
Publicado: (1985)

iOS code testing: test-driven development and behavior-driven development with Swift
por: Mishra, Abhishek
Publicado: (2017)

Test-driven development with Django
por: Harvey, Kevin
Publicado: (2015)

Test-driven development with Python
por: Percival, Harry
Publicado: (2014)

Test-driven development: by example
por: Beck, Kent
Publicado: (2003)

Test-driven development with Mockito
por: Acharya, Sujoy
Publicado: (2013)

Test-driven Python development: develop high-quality and maintainable Python applications using the principles of test-driven development
por: Govindaraj, Siddharta
Publicado: (2015)

The cucumber book: behaviour-driven development for testers and developers
por: Wynne, Matt, et al.
Publicado: (2017)

Practical TLA+: planning driven development
por: Wayne, Hillel
Publicado: (2018)

Test driven development in Microsoft.Net
por: Newkirk, James, et al.
Publicado: (2004)

Test-driven iOS development
por: Lee, Graham
Publicado: (2012)

Test-driven JavaScript development
por: Johansen, Christian
Publicado: (2011)

Model driven engineering and ontology development
por: Gasevic, Dragan, et al.
Publicado: (2009)

Model-Driven Development with Executable UML
por: Milicev, Dragan
Publicado: (2009)

Test-driven development for embedded C
por: Grenning, James W., et al.
Publicado: (2011)

Learn type-driven development: benefit from type systems to build reliable and safe applications using ReasonML 3
por: Amin, Yawar, et al.
Publicado: (2018)

Test-driven JavaScript development: learn JavaScript test-driven development using popular frameworks and tools
por: Gupta, Ravi Kumar, et al.
Publicado: (2015)

Scala test-driven development: build robust Scala applications by implementing the fundamentals of test-driven development in your workflow
por: Sood, Gaurav
Publicado: (2016)

The cucumber for Java book: behaviour-driven development for testers and developers
por: Rose, Seb, et al.
Publicado: (2015)

Learning behavior-driven development with JavaScript
por: Amodeo, Enrique
Publicado: (2015)

Test-driven database development: unlocking agility
por: Guernsey, Max
Publicado: (2013)

Test-driven development: a practical guide
por: Astels, David
Publicado: (2003)

Software engineering: architecture-driven software development
por: Schmidt, Richard F
Publicado: (2013)

Developing web apps with Haskell and Yesod: safety-driven web development
por: Snoyman, Michael
Publicado: (2015)

Agile Java: crafting code with test-driven development
por: Langr, Jeff
Publicado: (2005)

Model-driven software development: technology, engineering, management
por: Stahl, Thomas, et al.
Publicado: (2006)

Professional test-driven development with C#: developing real world applications with TDD
por: Bender, James, et al.
Publicado: (2011)

Behavior-driven development with Cucumber: better collaboration for better software
por: Lawrence, Richard, et al.
Publicado: (2019)

BDD in action : behavior-driven development for the whole software lifecycle
por: Smart, John Ferguson
Publicado: (2015)

Test driven: practical TDD and acceptance TDD for Java developers
por: Koskela, Lasse
Publicado: (2008)

Test-driven Java development: invoke TDD principles for end-to-end application development
por: Garcia, Alex, et al.
Publicado: (2018)

Test-driven machine learning: control your machine learning algorithms using test-driven development to achieve quantifiable milestones
por: Bozonier, Justin
Publicado: (2015)

Defining data-driven software development: developing on a multi-model database management system
por: Laquer, Eric
Publicado: (2017)

Test-driven Java development: invoke TDD principles for end-to-end application development with Java
por: Farcic, Viktor, et al.
Publicado: (2015)

ATDD by example: a practical guide to acceptance test-driven development
por: Gärtner, Markus
Publicado: (2013)

Model driven development for embedded software: application to communications for drone swarm
por: Maxa, Jean-Aime
Publicado: (2018)

Java unit testing with JUnit 5: test driven development with JUnit 5
por: Gulati, Shekhar, et al.
Publicado: (2017)

Hands-on reactive programming with Python: event-driven development unraveled with RxPY
por: Picard, Romain
Publicado: (2018)

Testing with JUnit: master high-quality software development driven by unit tests
por: Appel, Frank
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_l7s7ar16b9obr9qjqa489f91kg