Trefferliste "Formal Methods In Software Engineering" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods in Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Udo F. Meissner
Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering

The intension of the book is to synthesize classical matrix and tensor methods with object-oriented software techniques and efficient matrix methods for numerical algorithms. The aim is to establish a coh…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 90,66

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science - Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 81,04

Rainer Hasenauer, Oliver Yu, D. Daniel Sheu
Intrapreneurship Management

Develop and deploy industry-leading ideas with this groundbreaking management toolkit The universal modern image of an innovator is a technological entrepreneur, who conceives and develops their groundbre…

sofort lieferbar
Buch
Aktueller Preis: EUR 162,29

Marcus J. Neuer
Machine Learning for Engineers

Machine learning and artificial intelligence are ubiquitous terms for improving technical processes. However, practical implementation in real-world problems is often difficult and complex. This textbook…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 53,32

Ryan Mitchell
Unlocking Python

A fun and practical guide to learning Python with a special focus on data science, web scraping, and web applications In Unlocking Python: A Comprehensive Guide for Beginners, veteran software engineer, e…

lieferbar ab 12.5.2025.
Buch
Aktueller Preis: EUR 49,35
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.