QR kód

Proving programs correct /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Anderson, Robert Brockett, 1941- (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	New York : John Wiley, 1979
Témata:	Computer programs > Testing. Debugging in computer science. programovanie
ISBN:	0471033952
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Průvodce nitrem DOSu a BIOSu /
Autor: Skramuský, Robert
Vydáno: (1993)

Elementary Synchronous Programming : in C++ and Java via algorithms /
Autor: Janfada, Ali S.
Vydáno: (2019)

Elementary Synchronous Programming : in C++ and Java via algorithms /
Autor: Janfada, Ali S.
Vydáno: (2019)

C++ Programming /
Autor: Dong, Yuan, a další
Vydáno: (2019)

Beginning PHP and MySQL From Novice to Professional /
Autor: Kromann, Frank M.
Vydáno: (2018)

Increasing programmer productivity through logic development /
Autor: Swann, Gloria Harrington
Vydáno: (1978)

Learn to Program with Python 3 A Step-by-Step Guide to Programming /
Autor: Kalb, Irv
Vydáno: (2018)

MATLAB® Programming : Mathematical Problem Solutions /
Autor: Xue, Dingyü
Vydáno: (2020)

Programming in C++ : Object Oriented Features /
Vydáno: (2019)

Java APIs, Extensions and Libraries With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
Autor: Sharan, Kishori
Vydáno: (2018)

Practical Python AI Projects Mathematical Models of Optimization Problems with Google OR-Tools /
Autor: Kruk, Serge
Vydáno: (2018)

Calculus Problem Solutions with MATLAB® /
Autor: Xue, Dingyü
Vydáno: (2020)

Propeller Programming Using Assembler, Spin, and C /
Autor: Anandakrishnan, Sridhar
Vydáno: (2018)

Bad Programming Practices 101 Become a Better Coder by Learning How (Not) to Program /
Autor: Beecher, Karl
Vydáno: (2018)

Practical PHP 7, MySQL 8, and MariaDB Website Databases A Simplified Approach to Developing Database-Driven Websites /
Autor: West, Adrian W.
Vydáno: (2018)

Programming in standard COBOL /
Autor: Kapur, Gopal K.
Vydáno: (1973)

Web Applications with Elm Functional Programming for the Web /
Autor: Loder, Wolfgang
Vydáno: (2018)

Java for Absolute Beginners Learn to Program the Fundamentals the Java 9+ Way /
Autor: Cosmina, Iuliana
Vydáno: (2018)

Physically Based Shader Development for Unity 2017 Develop Custom Lighting Systems /
Autor: Doppioslash, Claudia
Vydáno: (2018)

Learn Raspberry Pi Programming with Python Learn to Program on the World's Most Popular Tiny Computer /
Autor: Donat, Wolfram
Vydáno: (2018)

Programming 101 The How and Why of Programming Revealed Using the Processing Programming Language /
Autor: Meyer, Jeanine
Vydáno: (2018)

Practical Quantum Computing for Developers Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience /
Autor: Silva, Vladimir
Vydáno: (2018)

Ruby Data Processing Using Map, Reduce, and Select /
Autor: Godse, Jay
Vydáno: (2018)

Program the Internet of Things with Swift for iOS Learn How to Program Apps for the Internet of Things /
Autor: Bakir, Ahmed
Vydáno: (2018)

Practical Contiki-NG Programming for Wireless Sensor Networks /
Autor: Kurniawan, Agus
Vydáno: (2018)

Learn Android Studio 3 with Kotlin Efficient Android App Development /
Autor: Hagos, Ted
Vydáno: (2018)

Pro Vue.js 2
Autor: Freeman, Adam
Vydáno: (2018)

Swift 4 for Absolute Beginners Develop Apps for iOS /
Autor: Kaczmarek, Stefan
Vydáno: (2018)

Learn Android Studio 3 Efficient Android App Development /
Autor: Hagos, Ted
Vydáno: (2018)

Pro iPhone Development with Swift 4 Design and Manage Top Quality Apps /
Autor: Maskrey, Molly
Vydáno: (2018)

Learn JavaScript with p5.js Coding for Visual Learners /
Autor: Arslan, Engin
Vydáno: (2018)

Graphics and Multimedia for the Web with Adobe Creative Cloud Navigating the Adobe Software Landscape /
Autor: Harder, Jennifer
Vydáno: (2018)

Pro JPA 2 in Java EE 8 An In-Depth Guide to Java Persistence APIs /
Autor: Keith, Mike
Vydáno: (2018)

Introduction to Python for Engineers and Scientists Open Source Solutions for Numerical Computation /
Autor: Nagar, Sandeep
Vydáno: (2018)

Practical JSF in Java EE 8 Web Applications in Java for the Enterprise /
Autor: Müller, Michael
Vydáno: (2018)

Practical Scala DSLs Real-World Applications Using Domain Specific Languages /
Autor: Riti, Pierluigi
Vydáno: (2018)

Python Descriptors Understanding and Using the Descriptor Protocol /
Autor: Zimmerman, Jacob
Vydáno: (2018)

Spring Boot 2 Recipes A Problem-Solution Approach /
Autor: Deinum, Marten
Vydáno: (2018)

Beginning EJB in Java EE 8 Building Applications with Enterprise JavaBeans /
Autor: Wetherbee, Jonathan
Vydáno: (2018)

Eclipse TEA Revealed Building Plug-ins and Creating Extensions for Eclipse /
Autor: Duft, Markus
Vydáno: (2018)