LYRA

Bir sonraki favorin, nedeniyle birlikte.

İçeriğe geç

Keşfet
Filmler ve Diziler
Müzik
Kitaplar
Sana Özel
İzleme Listem

Yükleniyor…

Senin zevkin. Senin evrenin.Film, dizi, müzik ve kitap keşfi; her önerinin nedeni yanında.

Keşfet Filmler ve Diziler Müzik Kitaplar Sana Özel Akıllı Keşif Zevkler Arası Keşif İzleme Listem Beğendiklerim

Film ve dizi verileri ile görseller TMDB’den alınır. Bu ürün TMDB API’sini kullanır ancak TMDB tarafından onaylanmış ya da sertifikalandırılmış değildir. Yayın platformu bilgileri JustWatch tarafından sağlanır. Müzik verileri, kapaklar ve 30 saniyelik önizlemeler Apple’ın iTunes Search API’sinden; tam içerik Apple Music’tedir. Sanatçı fotoğrafları ve benzer sanatçılar Deezer’dan alınır. Kitap verileri ve kapaklar Google Books’tan; Google Books’a ulaşılamadığında Open Library’den alınır. Her sonuç listesinde hangi kaynağın kullanıldığı yazar.

Film, dizi, müzik ya da kitap ara

Yapım bilgileri yükleniyor…

Kitap2011

Rigorous software development

José Bacelar Almeida

Open Library’de açZevkler arası keşfet

Açıklama

Open Library kaydında bu kitap için açıklama bulunmuyor.

Development
Verification
Computer software
Computer software, verification
Symbolic and Algebraic Manipulation
Logics and Meanings of Programs
Software engineering
Computer science
Algebra
Data processing

Baskılar ve ISBN

2025: Springer London, Limited · İngilizce
ISBN 9781447175575
Apr 08, 2011: Springer · 276 sayfa
ISBN 9780857290199
2011: Springer · İngilizce · 263 sayfa
ISBN 9780857290175

Künye

Yazar: José Bacelar Almeida
İlk yayın: 2011
Yayınevleri: Springer London, Limited, Springer
Sayfa (ortalama): 270
Baskı sayısı: 3
Kaynak: Open Library

Rigorous software development — José Bacelar Almeida · LYRA