المؤلفون: Bosnacki, D Dragan, Riel, NAW Natal van, Veta, M Mitko

المصدر: ISBN:978-3-030-17296-1.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/917522

الاتاحة: http://repository.tue.nl/917522

المؤلفون: Zhang, D Danny, Bosnacki, D Dragan, Brand, MGJ Mark van den, Huizing, C Cornelis = Kees, Jacobs, Bart, Kuiper, R Ruurd, Wijs, AJ Anton

المصدر: ISSN:0167-6423.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/914815

الاتاحة: http://repository.tue.nl/914815

المؤلفون: Jacobs, BPF Bart, Bosnacki, D Dragan, Kuiper, R Ruurd

المصدر: ISSN:0164-0925.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/903793

الاتاحة: http://repository.tue.nl/903793

المؤلفون: Modena, D, Baragona, M, Bosnacki, D Dragan, Breuer, BJT Boris, Elevelt, A, Maessen, RTH, Hilbers, PAJ Peter, Eikelder, HMM Huub ten

المصدر: ISSN:0031-9155.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/907827

الاتاحة: http://repository.tue.nl/907827

المؤلفون: Bosnacki, D Dragan, Wijs, AJ Anton

المصدر: ISSN:1433-2779.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/902423

الاتاحة: http://repository.tue.nl/902423

المؤلفون: Eikelder, HMM Huub ten, Bosnacki, D Dragan, Elevelt, A, Donato, Katia, Tullio, A Di, Breuer, BJT Boris, Wijk, JH van, Dijk, EVM Edmond van, Modena, D, Yeo, SY Sin Yuin, Grüll, H Holger

المصدر: ISSN:0031-9155.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/883192

الاتاحة: http://repository.tue.nl/883192

المؤلفون: Wijs, AJ Anton, Bosnacki, D Dragan

المصدر: ISSN:1433-2779.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/795046

الاتاحة: http://repository.tue.nl/795046

المؤلفون: Wijs, AJ Anton, Katoen, JP, Bosnacki, D Dragan

المصدر: ISSN:0925-9856.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/874583

الاتاحة: http://repository.tue.nl/874583

المؤلفون: Bosnacki, D Dragan, Edelkamp, Stefan, Lluch Lafuente, Alberto, Wijs, AJ Anton

المصدر: ISSN:0167-6423.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/883351

الاتاحة: http://repository.tue.nl/883351

المؤلفون: Bosnacki, D Dragan, Eikelder, HMM Huub ten, Maanders, M Marieke, Hilbers, PAJ Peter

المصدر: ISBN:978-3-319-09878-4.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/781247

الاتاحة: http://repository.tue.nl/781247

المؤلفون: Bosnacki, D Dragan, Pronk, TE, Vink, EP Erik de

المصدر: ISBN:978-3-642-04185-3.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/656159

الاتاحة: http://repository.tue.nl/656159

المؤلفون: Vink, EP Erik de, Zantema, H Hans, Bosnacki, D Dragan

المصدر: ISSN:1843-8121.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/760911

الاتاحة: http://repository.tue.nl/760911

المؤلفون: Ligtenberg, WPA Willem, Bosnacki, D Dragan, Hilbers, PAJ Peter

المصدر: ISSN:0219-7200.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/757714

الاتاحة: http://repository.tue.nl/757714

المؤلفون: Baeten, JCM Jos, Bosnacki, D Dragan, Voeten, JPM Jeroen, Holenderski, L Leszek

مصطلحات موضوعية: formal languages. formal systems. formal proof of program correctness, model checking, software verification : proceedings

وصف الملف: application/pdf

Relation: http://repository.tue.nl/557074

الاتاحة: http://repository.tue.nl/557074

المؤلفون: Bosnacki, D Dragan, Odenbrett, MR Max, Wijs, AJ Anton, Ligtenberg, WPA Willem, Hilbers, PAJ Peter

المصدر: ISSN:1471-2105.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/791789

الاتاحة: http://repository.tue.nl/791789

المؤلفون: Bosnacki, D Dragan, Edelkamp, Stefan, Sulewski, D, Wijs, AJ Anton

المصدر: ISSN:1433-2779.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/692981

الاتاحة: http://repository.tue.nl/692981

المؤلفون: Steijaert, MN Marvin, Liekens, AML Anthony, Bosnacki, D Dragan, Hilbers, PAJ Peter, Eikelder, HMM Huub ten

المصدر: ISSN:0025-5564.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/693668

الاتاحة: http://repository.tue.nl/693668

المؤلفون: Bosnacki, D Dragan, Edelkamp, Stefan

المصدر: ISSN:1433-2779.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/675840

الاتاحة: http://repository.tue.nl/675840

المؤلفون: Bosnacki, D Dragan, Elkind, E, Genest, B, Peled, D

المصدر: ISSN:1012-2443.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/651553

الاتاحة: http://repository.tue.nl/651553

المؤلفون: Bosnacki, D Dragan, Ligtenberg, WPA Willem, Odenbrett, MR Max, Wijs, AJ Anton, Hilbers, PAJ Peter

المصدر: ISSN:1409-9721.

وصف الملف: application/pdf

Relation: http://repository.tue.nl/791790

الاتاحة: http://repository.tue.nl/791790