Rezultaty - program ((foundation https) OR (function https)) function testing https

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Wydane 2008

Spis treści: “...-Logic Programming -- EasyCheck — Test Data for Free....”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Wydane 2010

Spis treści: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Wydane 2011

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Wydane 2014

Hasła przedmiotowe: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

od Horváth, Zoltán., Horváth, Zoltán.
Wydane 2006

Spis treści: “...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Wydane 2007

Spis treści: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Wydane 2008

Spis treści: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

A Beginner's Guide to Scala, Object Orientation and Functional Programming

od Hunt, John., Hunt, John.
Wydane 2014

Spis treści: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Functional Magnetic Resonance Imaging Processing

od Li, Xingfeng., Li, Xingfeng.
Wydane 2014

Spis treści: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Wydane 2015

Spis treści: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Introductory Statistical Inference with the Likelihood Function

od Rohde, Charles A., Rohde, Charles A.
Wydane 2014

Hasła przedmiotowe: “...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Foundations of Agile Python Development

od Younker, Jeff., Younker, Jeff.
Wydane 2008

Spis treści: “... -- Functional Testing....”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Wydane 2010

Spis treści: “... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Foundations and Applications of MIS A Model Theory Approach /

od Takahara, Yasuhiko., Takahara, Yasuhiko., Liu, Yongmei.
Wydane 2006

Spis treści: “... for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog....”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Wydane 2010

Spis treści: “... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Wydane 2005

Spis treści: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International...

Wydane 2005

Spis treści: “..., and Computation -- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic -- Proofs of Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering...

Wydane 2010

Spis treści: “...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty