Passer au contenu principal Passer au contenu du pied de page

Rigorous Software Development: An Introduction to Program Verification

José Bacelar Almeida , Maria Jo Frade , Jorge Sousa Pinto

7 janvier 2011

58,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 293 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

307

Undergraduate Topics in Computer Science

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9780857290175

Practical Azure Sql Database For Modern Developers: Building Applications In The Microsoft Cloud

Davide Mauri Couverture souple
80,50 $
2 formats offerts
Probabilistic Graphical Models: Principles And Applications

Luis Enrique Sucar Couverture rigide
102,50 $
4 formats offerts
Wearable Sensing And Intelligent Data Analysis For Respiratory Management

Rui Pedro Paiva Couverture souple
222,50 $
2 formats offerts
Advanced Information Networking and Applications: Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3

Leonard Barolli Couverture souple
437,95 $
2 formats offerts
Advanced Information Networking and Applications: Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 1

Leonard Barolli Couverture souple
408,95 $
2 formats offerts
Application of Big Data in Petroleum Streams

Jay Gohil Couverture souple
91,95 $
3 formats offerts
Augmenting Customer Experience With Sharepoint Online: Building Portals And Practices To Improve Usability

Charles Waghmare Couverture souple
65,95 $
2 formats offerts
Python Testing With Selenium: Learn To Implement Different Testing Techniques Using The Selenium Webdriver

Sujay Raghavendra Couverture souple
80,50 $
2 formats offerts
Easy Learning Data Structures & Algorithms C++: Graphic Data Structures & Algorithms

Yang Hu Couverture souple
61,50 $
Teaching Mathematics Creatively

Linda Pound Couverture souple
54,95 $
3 formats offerts
Practical Guide To Large Database Migration

Preston Zhang Couverture souple
91,95 $
3 formats offerts
Advanced Platform Development With Kubernetes: Enabling Data Management, The Internet Of Things, Blockchain, And Machine Learning

Craig Johnston Couverture souple
102,50 $
2 formats offerts
Smart Distributed Embedded Systems for Healthcare Applications

Preeti Nagrath Couverture souple
96,50 $
3 formats offerts
Expert Oracle Database Architecture: Techniques And Solutions For High Performance And Productivity

Darl Kuhn Couverture souple
102,50 $
5 formats offerts
Simple And Efficient Programming With C#: Skills To Build Applications With Visual Studio And .net

Vaskaran Sarcar Couverture souple
83,50 $
4 formats offerts
Advances In Internet, Data: The 10th International Conference On Emerging Internet, Data And Web Technologies (eidwt-2022)

Leonard Barolli Couverture souple
408,95 $
2 formats offerts
Flexible, Reliable Software: Using Patterns and Agile Development

Henrik B. Christensen Couverture rigide
155,50 $
Data Smart: Using Data Science to Transform Information into Insight

Jordan Goldmeier Couverture souple
59,99 $
3 formats offerts
Data Analysis And Visualization Using Python: Analyze Data To Create Visualizations For Bi Systems

Dr. Ossama Embarak Couverture souple
116,95 $
2 formats offerts
Carte-cadeau

Indigo

Évaluation éditoriale

Auteur

Concise Guide To Software Engineering: From Fundamentals To Application Methods

Gerard O'regan Couverture souple
104,50 $
4 formats offerts
Text Analytics: An Introduction To The Science And Applications Of Unstructured Information Analysis

John Atkinson-abutridy Couverture rigide
222,50 $
3 formats offerts
Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen Couverture souple
321,50 $
2 formats offerts
Computational Intelligence-based Optimization Algorithms: From Theory to Practice

Babak Zolghadr-asli Couverture souple
103,95 $
3 formats offerts
Systems Analysis And Design: An Object-oriented Approach With Uml

Alan Dennis Couverture souple
177,95 $
3 formats offerts
Model-based Systems Engineering With Opm And Sysml

Dov Dori Couverture souple
102,50 $
3 formats offerts
Bounded Queries in Recursion Theory

William Levine Couverture souple
160,95 $
2 formats offerts
Requirements Engineering For Software And Systems

Phillip A. Laplante Couverture souple
118,50 $
3 formats offerts
Pro Machine Learning Algorithms: A Hands-on Approach To Implementing Algorithms In Python And R

V Kishore Ayyadevara Couverture souple
102,50 $
2 formats offerts
Software Engineering Design: Theory and Practice

Carlos Otero Couverture rigide
177,95 $
2 formats offerts
Probabilistic Graphical Models: Principles And Applications

Luis Enrique Sucar Couverture rigide
102,50 $
4 formats offerts
Data Analytics In Professional Soccer: Performance Analysis Based On Spatiotemporal Tracking Data

Daniel Link Couverture souple
145,95 $
Advances In Information Architecture: The Academics / Practitioners Roundtable 2014-2019

Andrea Resmini Couverture rigide
248,50 $
2 formats offerts
Convex Optimization For Signal Processing And Communications: From Fundamentals To Applications

Chong-yung Chi Couverture souple
93,50 $
3 formats offerts
Application of Advanced Optimization Techniques for Healthcare Analytics

Mohamed Abdel-basset Couverture rigide
236,95 $
3 formats offerts
Studies In Conversational Ux Design

Robert J. Moore Couverture souple
291,95 $
3 formats offerts
Human-computer Interaction: An Empirical Research Perspective

I. Scott Mackenzie Couverture souple
73,95 $
4 formats offerts
NLP Application: Natural Language Questions and SQL using Computational Linguistics

Ftoon Kedwan Couverture rigide
96,50 $
2 formats offerts
Data Science: Theory, Algorithms, And Applications

Gyanendra K. Verma Couverture rigide
291,95 $
2 formats offerts
Introduction To Modeling And Simulation With Matlab And Python

Steven I. Gordon Couverture rigide
162,95 $
2 formats offerts